Antichain Algorithms for Finite Automata
From MaRDI portal
Publication:3557062
DOI10.1007/978-3-642-12002-2_2zbMath1284.68348OpenAlexW1497805930MaRDI QIDQ3557062
Laurent Doyen, Jean-François Raskin
Publication date: 27 April 2010
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-12002-2_2
Related Items (16)
Looking at mean payoff through foggy windows ⋮ Algorithms for Kleene algebra with converse ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ Synthesising succinct strategies in safety games with an application to real-time scheduling ⋮ Unnamed Item ⋮ Cyclic-routing of unmanned aerial vehicles ⋮ Nested antichains for WS1S ⋮ Lazy Automata Techniques for WS1S ⋮ Up-To Techniques for Weighted Systems ⋮ Coinductive Algorithms for Büchi Automata ⋮ Strategy synthesis for multi-dimensional quantitative objectives ⋮ Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm ⋮ Partial-Observation Stochastic Games ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Unnamed Item
This page was built for publication: Antichain Algorithms for Finite Automata
