Owl: a library for \(\omega \)-words, automata, and LTL
From MaRDI portal
Publication:6109606
DOI10.1007/978-3-030-01090-4_34zbMath1517.68203OpenAlexW2892537867MaRDI QIDQ6109606
Salomon Sickert, Tobias Meggendorfer, Jan Křetínský
Publication date: 28 July 2023
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-01090-4_34
Formal languages and automata (68Q45) Temporal logic (03B44) Digital mathematics libraries and repositories (68V35)
Related Items
Timed hyperproperties ⋮ Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning ⋮ Determinization and limit-determinization of Emerson-Lei automata ⋮ Index appearance record with preorders ⋮ Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis ⋮ From LTL to rLTL monitoring: improved monitorability through robust semantics ⋮ A simple rewrite system for the normalization of linear temporal logic ⋮ OmegaThreads ⋮ LTL to self-loop alternating automata with generic acceptance and back ⋮ Practical synthesis of reactive systems from LTL specifications via parity games ⋮ Back to the future: a fresh look at linear temporal logic
