Specification and Verification of Multi-Agent Systems
From MaRDI portal
Publication:3166991
DOI10.1007/978-3-642-31485-8_6zbMATH Open1250.68190OpenAlexW1560985252MaRDI QIDQ3166991FDOQ3166991
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
Cites work
- scientific article; zbMATH DE number 1705163 (Why is no real title available?)
- scientific article; zbMATH DE number 5954369 (Why is no real title available?)
- scientific article; zbMATH DE number 46359 (Why is no real title available?)
- scientific article; zbMATH DE number 140411 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1956587 (Why is no real title available?)
- scientific article; zbMATH DE number 1999226 (Why is no real title available?)
- scientific article; zbMATH DE number 2063025 (Why is no real title available?)
- scientific article; zbMATH DE number 2064229 (Why is no real title available?)
- scientific article; zbMATH DE number 1500666 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 2182496 (Why is no real title available?)
- scientific article; zbMATH DE number 2182497 (Why is no real title available?)
- scientific article; zbMATH DE number 2087624 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 5593264 (Why is no real title available?)
- scientific article; zbMATH DE number 5051652 (Why is no real title available?)
- scientific article; zbMATH DE number 5051662 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A course in game theory.
- A lattice-theoretical fixpoint theorem and its applications
- A machine program for theorem-proving
- Action and knowledge in alternating-time temporal logic
- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Alternating-time logic with imperfect recall
- Alternating-time temporal logic
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- An automata-theoretic approach to branching-time model checking
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Complete axiomatization and decidability of alternating-time temporal logic
- Constructive knowledge: what agents can achieve under imperfect information
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Deciding full branching time logic
- Easy Yet Hard: Model Checking Strategies of Agents
- Essentials of game theory. A concise, multidisciplinary introduction.
- Implementing Temporal Logics: Tools for Execution and Proof
- Intention is choice with commitment
- Logic in Computer Science
- Lower bounds for multiplayer noncooperative games of incomplete information
- Modal and temporal properties of processes
- Modal logic
- Modalities for model checking: Branching time logic strikes back
- Model Checking Logics of Strategic Ability: Complexity*
- Model checking abilities of agents: a closer look
- Model checking discounted temporal properties
- Number of quantifiers is better than number of tape cells
- On epistemic temporal strategic logic
- On the Expressiveness and Complexity of ATL
- On the menbership problem for functional and multivalued dependencies in relational databases
- Parity, circuits, and the polynomial-time hierarchy
- Reasoning about temporal properties of rational play
- Results on the propositional \(\mu\)-calculus
- The complexity of propositional linear temporal logics
- VERICS 2007 -- a model checker for knowledgee and real-time
- “Sometimes” and “not never” revisited
Cited in
(36)- A verification framework for agent programming with declarative goals
- Deontic Logic in Computer Science
- AI*IA 2005: Advances in Artificial Intelligence
- Verification of multi-agent systems with timeouts for migration and communication
- The cognitive agents specification language and verification environment
- MASL: A Logic for the Specification of Multiagent Real-Time Systems
- scientific article; zbMATH DE number 1950649 (Why is no real title available?)
- A requirement specification language for configuration dynamics of multiagent systems
- scientific article; zbMATH DE number 2215634 (Why is no real title available?)
- Decidability of model checking multi-agent systems against a class of EHS specifications
- Minimal belief and negation as failure in multi-agent systems
- The computational complexity of scenario-based agent verification and design
- Logical formalism for specification of real-time multiagent systems
- Specification and Verification of Multi-agent Systems
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- Combined model checking for temporal, probabilistic, and real-time logics
- scientific article; zbMATH DE number 6902518 (Why is no real title available?)
- scientific article; zbMATH DE number 1931654 (Why is no real title available?)
- On feasible cases of checking multi-agent systems behavior.
- Verifying systems of resource-bounded agents
- Distributed Computing - IWDC 2004
- Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
- Compositional verification of multi-agent systems in temporal multi-epistemic logic
- Parameterised verification for multi-agent systems
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- On complexity of verification of interacting agents' behavior
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- A first-order coalition logic for BDI-agents
- scientific article; zbMATH DE number 1759732 (Why is no real title available?)
- From model checking to equilibrium checking: reactive modules for rational verification
- scientific article; zbMATH DE number 2080586 (Why is no real title available?)
- Verification of agent-based artifact systems
- Formal specification of multi-agent e-barter systems
- Executable specification of open multi-agent systems
- Multi-agent systems specification and certification: a situation and state calculus approach
- A strong completeness result for a MAS logic
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)
