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é:   
Learning-based LTL synthesis
du groupe Séminaire Méthodes Formelles

Date 2021-04-13  07:00-07:00
TitreLearning-based LTL synthesis 
RésuméIn LTL synthesis, the task is to construct a reactive system producing an output stream ensuring a given formula of linear temporal logic is satisfied for any input stream. Recent results on translating LTL to automata open avenues to learning-based approaches and heuristics for such problems. In particular, the automata-theoretic approach to LTL synthesis can utilize not only topological information through standard graph algorithms, but can now also profit from semantic information through learning algorithms. As a result, in many cases an optimal solution can be obtained without any computation; in more general cases, the approach might yield more explainable controllers and scale better. 
LieuOnline 
OrateurJan Kretinsky 
Emailhttps://www7.in.tum.de/~kretinsk/ 
UrlTechnical University of Munich 



Aucun document lié à cet événement.

Retour
Retour à l'index