par Esparza, Javier;Křetínský, Jan;Raskin, Jean-François ;Sickert, Salomon
Référence International journal on software tools for technology transfer, 24, 4, page (635-659)
Publication Publié, 2022-08
Article révisé par les pairs
Titre:
  • From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Auteur:Esparza, Javier; Křetínský, Jan; Raskin, Jean-François; Sickert, Salomon
Informations sur la publication:International journal on software tools for technology transfer, 24, 4, page (635-659)
Statut de publication:Publié, 2022-08
Sujet CREF:Informatique appliquée logiciel
Informatique générale
Mots-clés:Deterministic parity automata
Linear temporal logic
Synthesis
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:1433-2779
info:doi/10.1007/s10009-022-00663-1
info:scp/85135115283