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


Date 2021-03-30  07:00-07:00
TitreRegister Automata with Extrema Constraints, and an Application to Two-Variable Logic 
RésuméIn this talk I will introduce a model of register automata over infinite trees with extrema constraints. Such an automaton can store elements of a linearly ordered domain in its registers, and can compare those values to the suprema and infima of register values in subtrees. We will see that the emptiness problem for these automata is decidable. As an application, I will outline how the satisfiability problem for two-variable logic with arbitrary predicates, two of them interpreted by linear orders, can be decided. This talk is based on joint work with Szymon Torunczyk. 
LieuOnline 
OrateurThomas Zeume 
Emailthomas.zeume@rub.de 
UrlRuhr University Bochum 



Aucun document lié à cet événement.

Retour
Retour à l'index