scientific article; zbMATH DE number 5499359
From MaRDI portal
Publication:5506377
zbMath1167.68381MaRDI QIDQ5506377
M. Kacprzak, MacIej Szreter, Artur Niewiadomski, Andrzej Zbrzezny, Wojciech Penczek, Wojciech Nabiałek, Bożena Woźna, Agata Półrola
Publication date: 28 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Specification and Verification of Multi-Agent Systems ⋮ Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Program semantics and verification technique for AI-centred programs ⋮ Unnamed Item ⋮ A first-order coalition logic for BDI-agents ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol ⋮ Automatic Data-Abstraction in Model Checking Multi-Agent Systems ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ Parameterised verification for multi-agent systems
Uses Software
This page was built for publication:
