On the Power of Automata Minimization in Reactive Synthesis
- 17 September 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 346, 117-134
- https://doi.org/10.4204/eptcs.346.8
Abstract
No abstract availableThis publication has 45 references indexed in Scilit:
- Profile Trees for Büchi Word Automata, with Application to DeterminizationElectronic Proceedings in Theoretical Computer Science, 2013
- Optimized temporal monitors for SystemCFormal Methods in System Design, 2012
- From LTL to Symbolically Represented Deterministic AutomataPublished by Springer Science and Business Media LLC ,2008
- Mechanizing the Powerset Construction for Restricted Classes of ω-AutomataPublished by Springer Science and Business Media LLC ,2007
- Specify, Compile, Run: Hardware from PSLElectronic Notes in Theoretical Computer Science, 2007
- Temporal Reasoning in Agent-Based SystemsFoundations of Artificial Intelligence, 2005
- Local reasoning and knowledge compilation for efficient temporal abductionIEEE Transactions on Knowledge and Data Engineering, 2002
- Using temporal logics to express search control knowledge for planningArtificial Intelligence, 2000
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- AlternationJournal of the ACM, 1981