Past, Present, and Infinite Future

DOI10.4230/LIPIcs.ICALP.2016.95zbMath1388.03040OpenAlexW2538694668MaRDI QIDQ4598236

Thomas Wilke

Publication date: 19 December 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#Wilke16

zbMATH Keywords

separationlinear-time temporal logicbackward deterministic omega-automatacounter-freeness

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (3)

On the translation of automata to linear temporal logic ⋮ Unnamed Item ⋮ Backward Deterministic Büchi Automata on Infinite Words

This page was built for publication: Past, Present, and Infinite Future