Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Sensing cost for automata and synthesis
du groupe Séminaire Méthodes Formelles

Date 2016-02-16  11:00-12:00
TitreSensing cost for automata and synthesis 
RésuméI will present a complexity measure named sensing cost, designed for automata and transducters. It measures the average amount of information from the environment that must be read by the system at each time instant, in a random environment. It is then natural to look for minimally sensing automata for a given language, or minimally-sensing transducers as solutions of synthesis problems. I will present results along these lines, as well as open problems that remain to be tackled. This is joint work with Shaull Almagor and Orna Kupferman. 
Lieu76 
OrateurDenis Kuperberg 
Emailhttp://www.liafa.univ-paris-diderot.fr/~dkuperbe/ 
UrlTU Munich 



Aucun document lié à cet événement.

Retour
Retour à l'index