Parameterised verification for multi-agent systems
From MaRDI portal
Recommendations
- Specification and Verification of Multi-Agent Systems
- scientific article; zbMATH DE number 2215634
- Well-structured model checking of multiagent systems
- scientific article; zbMATH DE number 1202873
- scientific article; zbMATH DE number 1950649
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
Cites work
- scientific article; zbMATH DE number 1614699 (Why is no real title available?)
- scientific article; zbMATH DE number 1670786 (Why is no real title available?)
- scientific article; zbMATH DE number 3982506 (Why is no real title available?)
- scientific article; zbMATH DE number 2080053 (Why is no real title available?)
- scientific article; zbMATH DE number 1927558 (Why is no real title available?)
- scientific article; zbMATH DE number 1480194 (Why is no real title available?)
- scientific article; zbMATH DE number 1500666 (Why is no real title available?)
- scientific article; zbMATH DE number 1796136 (Why is no real title available?)
- scientific article; zbMATH DE number 2149446 (Why is no real title available?)
- scientific article; zbMATH DE number 1392309 (Why is no real title available?)
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
- All for the price of few (parameterized verification through view abstraction)
- Alternating-time temporal logic
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- Bounded model checking for deontic interpreted systems
- Bounded model checking for knowledge and real time
- CONCUR 2004 - Concurrency Theory
- Characterizing finite Kripke structures in propositional temporal logic
- Iterating transducers in the large (extended abstract)
- Model checking and abstraction to the aid of parameterized systems (a survey)
- Parallel model checking for temporal epistemic logic
- Parameterized Model Checking of Token-Passing Systems
- Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
- Reasoning about networks with many identical finite state processes
- Reasoning about systems with many processes
- Regular model checking using widening techniques
- VERICS 2007 -- a model checker for knowledgee and real-time
- Verification, Model Checking, and Abstract Interpretation
Cited in
(22)- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
- scientific article; zbMATH DE number 1950649 (Why is no real title available?)
- Parameterized model-checking of discrete-timed networks and symmetric-broadcast systems
- Two-stage agent program verification
- Controlling a population
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Reasoning about decidability of strategic logics with imperfect information and perfect recall strategies
- Verification of agent navigation in partially-known environments
- Specification and Verification of Multi-agent Systems
- Parameterized model checking of networks of timed automata with Boolean guards
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Liveness of parameterized timed networks
- Deontic Logic in Computer Science
- Systems of agents controlled by logical programs: complexity of verification
- Verification of multi-agent systems with timeouts for migration and communication
- Specification and Verification of Multi-Agent Systems
- A verification framework for agent programming with declarative goals
- Counter abstraction for regular open teams
- The virtues of idleness: a decidable fragment of resource agent logic
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- Reachability analysis of deep ReLU neural networks using facet-vertex incidence
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
This page was built for publication: Parameterised verification for multi-agent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q253980)
