scientific article; zbMATH DE number 7455737
From MaRDI portal
Publication:5020996
Moshe Y. Vardi, Lucas M. Tabajara
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10875
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Uses Software
Cites Work
- Strix
- Bisimulation minimization and symbolic model checking
- The complexity of two-player games of incomplete information
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- First-order vs. second-order encodings for \textsc{ltl}\(_f\)-to-automata translation
- Optimized temporal monitors for SystemcC
- Unbeast: Symbolic Bounded Synthesis
- Weak Second‐Order Arithmetic and Finite Automata
- Encodings of Bounded Synthesis
- Graph-Based Algorithms for Boolean Function Manipulation
- Provably Difficult Combinatorial Games
- Alternation
- Unbeast
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
