MCMAS-SLK
From MaRDI portal
Software:36529
swMATH24778MaRDI QIDQ36529FDOQ36529
Author name not available (Why is that?)
Cited In (19)
- Dependences in strategy logic
- Reasoning About Strategies
- 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
- Multi-valued Verification of Strategic Ability
- Natural strategic ability
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
This page was built for software: MCMAS-SLK
