Evènement pour le groupe Modélisation et Verification


Date 2014-12-18  11:00-12:00
TitreCost functions and Value 1 problem in practice 
RésuméI will present a tool implementing algorithms on an algebraic structure called stabilization monoids. This monoids are used to abstract various quantiative behaviours, and allow to solve problems like boundedness of particular weighted automata (namely B-automata from the theory of cost functions), or the value 1 problem for a special class of probabilistic automata (called leaktight). I will briefly explain the theory behind these problems, as well as how cost functions were motivated by historical problems like star-height, and finally demonstrate how the tool works. This is joint work with Nathanael Fijalkow, a newer optimized version is in progress with Nathanael Fijalkow, Hugo Gimbert and Edon Kelmendi. 
Lieu076 
OrateurDenis Kuperberg 
Emaildenis.kuperberg@gmail.com 
UrlIRIT/ONERA 



Aucun document lié à cet événement.

Retour
Retour à l'index