MCMAS-SLK
From MaRDI portal
Cited in
(36)- 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
- Alpaga
- GAVS
- VerICS
- Gambit
- MCMAS
- MCK
- GIST
- MOCHA
- PRALINE
- PRISM-games
- EVE
- jMocha
- GAMUT
- CTLSAT
- EAGLE
- Mr. Waffles
- Natural strategic ability
- 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
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- dot
- 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
