Evènement pour le groupe Séminaire Méthodes Formelles

Date 2016-12-01  11:00-12:00
TitreTranslating LTL to Probabilistic Automata 
RésuméStarting with the seminal work of Sistla, Vardi, and Wolper (1985), there has been a lot of interest in discovering efficient translations of Linear Temporal Logic (LTL) formulae into small automata. The reason for this is that logic to automata translations directly impact the complexity of runtime monitoring, verification, and synthesis of systems. While much of the work has focused on translations from LTL to nondeterministic and deterministic automata, in this talk we will present new constructions of probabilistic automata for LTL. We will discuss the consequences of this translation to the asymptotic complexity of problems in monitoring and verification of stochastic systems. Joint work with Dileep Kini 
OrateurMahesh Viswanathan 
UrlUniversity of Illinois 

Aucun document lié à cet événement.

Retour à l'index