Specification and Verification of Multi-Agent Systems
From MaRDI portal
Publication:3166991
DOI10.1007/978-3-642-31485-8_6zbMATH Open1250.68190OpenAlexW1560985252MaRDI QIDQ3166991FDOQ3166991
Authors: Wojciech Jamroga, Wojciech Penczek 
Publication date: 1 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31485-8_6
Recommendations
- Specification and Verification of Multi-agent Systems
- Norm specification and verification in multiagent systems
- Parameterised verification for multi-agent systems
- Modeling norm specification and verification in multiagent systems
- Multi-agent systems specification and certification: a situation and state calculus approach
- scientific article; zbMATH DE number 1202873
- scientific article; zbMATH DE number 2215634
Social choice (91B14) Game theory (91A99) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Modal logic
- Alternating-time temporal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- VERICS 2007 -- a model checker for knowledgee and real-time
- A lattice-theoretical fixpoint theorem and its applications
- A course in game theory.
- The complexity of propositional linear temporal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic in Computer Science
- Title not available (Why is that?)
- Modal and temporal properties of processes
- Intention is choice with commitment
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Lower bounds for multiplayer noncooperative games of incomplete information
- Results on the propositional \(\mu\)-calculus
- Parity, circuits, and the polynomial-time hierarchy
- “Sometimes” and “not never” revisited
- Title not available (Why is that?)
- Action and knowledge in alternating-time temporal logic
- Title not available (Why is that?)
- An automata-theoretic approach to branching-time model checking
- Essentials of game theory. A concise, multidisciplinary introduction.
- Title not available (Why is that?)
- Reasoning about temporal properties of rational play
- Modalities for model checking: Branching time logic strikes back
- Deciding full branching time logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Number of quantifiers is better than number of tape cells
- On the menbership problem for functional and multivalued dependencies in relational databases
- Title not available (Why is that?)
- Model checking discounted temporal properties
- Constructive knowledge: what agents can achieve under imperfect information
- Complete axiomatization and decidability of alternating-time temporal logic
- Model checking abilities of agents: a closer look
- Model Checking Logics of Strategic Ability: Complexity*
- On the Expressiveness and Complexity of ATL
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Alternating-time logic with imperfect recall
- On epistemic temporal strategic logic
- Title not available (Why is that?)
- Implementing Temporal Logics: Tools for Execution and Proof
- Title not available (Why is that?)
- Title not available (Why is that?)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- Title not available (Why is that?)
- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Easy Yet Hard: Model Checking Strategies of Agents
Cited In (33)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parameterised verification for multi-agent systems
- On complexity of verification of interacting agents' behavior
- The computational complexity of scenario-based agent verification and design
- Title not available (Why is that?)
- Distributed Computing - IWDC 2004
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
- Formal specification of multi-agent e-barter systems
- Multi-agent systems specification and certification: a situation and state calculus approach
- Specification and Verification of Multi-agent Systems
- Title not available (Why is that?)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- The cognitive agents specification language and verification environment
- MASL: A Logic for the Specification of Multiagent Real-Time Systems
- Deontic Logic in Computer Science
- Verification of multi-agent systems with timeouts for migration and communication
- A requirement specification language for configuration dynamics of multiagent systems
- From model checking to equilibrium checking: reactive modules for rational verification
- Executable specification of open multi-agent systems
- A verification framework for agent programming with declarative goals
- Title not available (Why is that?)
- Compositional verification of multi-agent systems in temporal multi-epistemic logic
- On feasible cases of checking multi-agent systems behavior.
- AI*IA 2005: Advances in Artificial Intelligence
- Verification of agent-based artifact systems
- Minimal belief and negation as failure in multi-agent systems
- A strong completeness result for a MAS logic
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- A first-order coalition logic for BDI-agents
- Logical formalism for specification of real-time multiagent systems
- Title not available (Why is that?)
Uses Software
This page was built for publication: Specification and Verification of Multi-Agent Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3166991)
