Parameterised verification for multi-agent systems
From MaRDI portal
Publication:253980
DOI10.1016/j.artint.2016.01.008zbMath1351.68294OpenAlexW2283569934MaRDI QIDQ253980
F. Blanchet-Sadri, M. Dambrine
Publication date: 8 March 2016
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2016.01.008
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (10)
A counter abstraction technique for verifying properties of probabilistic swarm systems ⋮ Liveness of Parameterized Timed Networks ⋮ Verification of agent navigation in partially-known environments ⋮ Reachability analysis of deep ReLU neural networks using facet-vertex incidence ⋮ Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter ⋮ Parameterized model checking of networks of timed automata with Boolean guards ⋮ The virtues of idleness: a decidable fragment of resource agent logic ⋮ Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about networks with many identical finite state processes
- Bounded model checking for knowledge and real time
- Characterizing finite Kripke structures in propositional temporal logic
- Model checking and abstraction to the aid of parameterized systems (a survey)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
- All for the Price of Few
- Parameterized Model Checking of Token-Passing Systems
- Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
- Alternating-time temporal logic
- Reasoning about systems with many processes
- Regular Model Checking using Widening Techniques
- CONCUR 2004 - Concurrency Theory
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
- Verification, Model Checking, and Abstract Interpretation
- Computer Aided Verification
This page was built for publication: Parameterised verification for multi-agent systems
