Multi-valued Logics, Automata, Simulations, and Games
No abstract available.
Related papers
- GOAL for Games, Omega-Automata, and Logics CAV 2013
- Lock-step simulation is child's play (experience report) ICFP 2017
- Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm CAV 2018
- HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism OOPSLA 2024
- Effective Synthesis of Asynchronous Systems from GR(1) Specifications VMCAI 2012
- The Rabin Index and Chain Automata, with Applications to Automatas and Games CAV 1995
- Ranking Automata and Games for Prioritized Requirements CAV 2008
- Automata-Theoretic Decision of Timed Games VMCAI 2002