scientific article; zbMATH DE number 7455742
From MaRDI portal
Publication:5021004
Raine Rönnholm, Antti Kuusisto, Lauri Hella
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10880
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 (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Bounded semantics
- First-cycle games
- Results on the propositional \(\mu\)-calculus
- An automata theoretic decision procedure for the propositional mu- calculus
- Rational coordination with no communication or conventions
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
- Alternating-time temporal logic ATL with finitely bounded semantics
- Game-Theoretic Semantics for Alternating-Time Temporal Logic
- Permissive strategies: from parity games to safety games
- Some Turing-Complete Extensions of First-Order Logic
- Formula size games for modal logic and μ-calculus
- STACS 2004
- From Liveness to Promptness
This page was built for publication:
