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. 
OrateurDenis Kuperberg 

Aucun document lié à cet événement.

Retour à l'index