Showing 1–14 of 14 results
/ Date/ Name
Jan 25, 2022On the Translation of Automata to Linear Temporal LogicMar 29, 2019Practical Synthesis of Reactive Systems from LTL Specifications via Parity GamesJan 21, 2017From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity AutomataJul 4, 2021Certifying DFA Bounds for Recognition and SeparationJan 21, 2021Certifying InexpressibilityJun 29, 2018LTL Store: Repository of LTL formulae from literature and case studiesMay 1, 2020An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating AutomataMay 2, 2018One Theorem to Rule Them All: A Unified Translation of LTL into ω-AutomataApr 18, 2023A Simple Rewrite System for the Normalization of Linear Temporal LogicJun 1, 2022The Reactive Synthesis Competition (SYNTCOMP): 2018-2021Sep 7, 2017LTL to Deterministic Emerson-Lei AutomataApr 15, 2019The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & ResultsOct 19, 2023Efficient Normalization of Linear Temporal LogicApr 18, 2013On Refinements of Boolean and Parametric Modal Transition Systems