scientific article
From MaRDI portal
Publication:3459475
zbMath1327.68161MaRDI QIDQ3459475
Adin Rosenberg, Orna Kupferman
Publication date: 8 January 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
From LTL to unambiguous Büchi automata via disambiguation of alternating automata ⋮ Dissecting \texttt{ltlsynt} ⋮ On the translation of automata to linear temporal logic ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ New Optimizations and Heuristics for Determinization of Büchi Automata ⋮ From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
