swMATH24778MaRDI QIDQ36529FDOQ36529
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1402.2948
Cited In (34)
- Dependences in strategy logic
- Augmenting ATL with strategy contexts
- Model-checking graded computation-tree logic with finite path semantics
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Reasoning about graded strategy quantifiers
- Automatic verification of concurrent stochastic systems
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- dot
- GAVS
- Natural strategic ability
- Gambit
- MCMAS
- MCK
- GIST
- MOCHA
- PRALINE
- PRISM-games
- EVE
- jMocha
- GAMUT
- CTLSAT
- EAGLE
- Mr. Waffles
- Model-checking iterated games
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Verification of multi-agent systems with public actions against strategy logic
- Reasoning about strategies: on the model-checking problem
- Title not available (Why is that?)
- Multi-valued verification of strategic ability
- Graded modalities in strategy logic
- Imperfect information in reactive modules games
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- A first-order coalition logic for BDI-agents
- Reasoning about strategies: on the satisfiability problem
This page was built for software: MCMAS-SLK
