From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Crossref DOI link: https://doi.org/10.1007/s10009-022-00663-1
Published Online: 2022-07-23
Published Print: 2022-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Esparza, Javier
Křetínský, Jan
Raskin, Jean-François
Sickert, Salomon
Funding for this research was provided by:
Technische Universität München
Text and Data Mining valid from 2022-07-23
Version of Record valid from 2022-07-23
Article History
Accepted: 7 June 2022
First Online: 23 July 2022