- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Technology for Verification and Analysis
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references13
- Record: found
- Abstract: not found
- Article: not found
Results on the propositional μ-calculus
Dexter Kozen (1983)
- Record: found
- Abstract: not found
- Article: not found
Deciding the winner in parity games is in UP ∩ co-UP
Marcin Jurdzinski (1998)
- Record: found
- Abstract: not found
- Article: not found
Decidability of Second-Order Theories and Automata on Infinite Trees
Michael O. Rabin (1969)