A Unified Translation of Linear Temporal Logic to ω-Automata

DOI10.1145/3417995zbMath1499.03017OpenAlexW3048521874WikidataQ130838789 ScholiaQ130838789MaRDI QIDQ5056447

Javier Esparza, Salomon Sickert, Jan Křetínský

Publication date: 8 December 2022

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3417995

zbMATH Keywords

linear temporal logicdeterministic automataautomata over infinite wordsnondeterministic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (1)

A simple rewrite system for the normalization of linear temporal logic

Uses Software

• PRISM
• Rabinizer
• Strix
• Seminator 2
• Owl

This page was built for publication: A Unified Translation of Linear Temporal Logic to ω-Automata