Evènement pour le 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