MCMAS
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Alpaga
- GAVS
- ROSMonitoring
- pyModelChecking
- HyperTensioN
- Sylvan
- PRISM
- LDYIS
- ConGolog
- VerICS
- GOLOG
- TAPS
- MCMAS-X
- IMPACT
- KARO
- NuSMV
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- Graded modalities in strategy logic
- Imperfect information in reactive modules games
- Petruchio
- CUDD
- Model-checking iterated games
- Reasoning about graded strategy quantifiers
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
- A first-order coalition logic for BDI-agents
- Which fragments of the interval temporal logic HS are tractable in model checking?
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
- AgentSpeak
- Jason
- simpleAPL
- LTSmin
- Gambit
- Dependences in strategy logic
- Alternating-time temporal logics with linear past
- Verification and strategy synthesis for coalition announcement logic
- BDDNOW
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Verics
- MCK
- Automatic verification of concurrent stochastic systems
- Modelling accuracy and trustworthiness of explaining agents
- Model checking interval temporal logics with regular expressions
- GIST
- DEL-based epistemic planning: decidability and complexity
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Populational announcement logic (PPAL)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Strategies, model checking and branching-time properties in Maude
- Automatic verification of competitive stochastic systems
- Model-checking graded computation-tree logic with finite path semantics
- Natural strategic ability
- Approximate verification of strategic abilities under imperfect information
- Rethinking epistemic logic with belief bases
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- Formalising privacy policies in social networks
- Model-checking for resource-bounded ATL with production and consumption of resources
- PyNuSMV
- DPF
- PRALINE
- PRISM-games
- MOCHA
- Parameterised verification for multi-agent systems
- Cooperative concurrent games
- ORME
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Interval temporal logic model checking: the border between good and bad HS fragments
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- Using agent JPF to build models for other model checkers
- Bounded situation calculus action theories
- IndiGolog
- Automatic verification of competitive stochastic systems
- Symbolic model checking for temporal-epistemic logic
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- Minimal Proof Search for Modal Logic K Model Checking
- Qualitative approximate behavior composition
- Synthesis and verification of uniform strategies for multi-agent systems
- Reasoning about strategies: on the model-checking problem
- Reasoning about strategies: on the satisfiability problem
- Symbolic Model Checking Commitment Protocols Using Reduction
- Automatic data-abstraction in model checking multi-agent systems
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
- Symbolic model checking the knowledge in Herbivore protocol
- Verified synthesis of knowledge-based programs in finite synchronous environments
- Verifying team formation protocols with probabilistic model checking
- Checking EMTLK properties of timed interpreted systems via bounded model checking
- A computationally grounded, weighted doxastic logic
- Progression and verification of situation calculus agents with bounded beliefs
- CacBDD
- Specification and Verification of Multi-Agent Systems
- Verifying systems of resource-bounded agents
- DDVerify
- 3APL
- scientific article; zbMATH DE number 7445170 (Why is no real title available?)
- mcmas: A Model Checker for Multi-agent Systems
- Reasoning about equilibria in game-like concurrent systems
- Symbolic Model Checking for Dynamic Epistemic Logic
- Symbolic model checking for alternating projection temporal logic
- mccogwed
- Verifying Time and Communication Costs of Rule-Based Reasoners
This page was built for software: MCMAS
