MCMAS-SLK
From MaRDI portal
Software:36529
No author found.
Related Items (19)
Unnamed Item ⋮ Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ Graded modalities in strategy logic ⋮ Imperfect information in reactive modules games ⋮ Automatic verification of concurrent stochastic systems ⋮ Unnamed Item ⋮ Model-checking iterated games ⋮ Reasoning About Strategies ⋮ Augmenting ATL with strategy contexts ⋮ Reasoning about graded strategy quantifiers ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ A first-order coalition logic for BDI-agents ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ Dependences in strategy logic ⋮ A Tool for the Automated Verification of Nash Equilibria in Concurrent Games ⋮ Model-checking graded computation-tree logic with finite path semantics ⋮ Natural strategic ability ⋮ Multi-valued Verification of Strategic Ability ⋮ Verification of multi-agent systems with public actions against strategy logic
This page was built for software: MCMAS-SLK
