scientific article; zbMATH DE number 2064229
From MaRDI portal
Publication:4461756
zbMath1111.68512MaRDI QIDQ4461756
Alessio Lomuscio, Wojciech Penczek
Publication date: 18 May 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Specification and Verification of Multi-Agent Systems ⋮ Verifiable agent dialogues ⋮ Specifying and verifying interaction protocols in a temporal action logic ⋮ Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ Checking EMTLK properties of timed interpreted systems via bounded model checking ⋮ Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic ⋮ Tableau-based automata construction for dynamic linear time temporal logic ⋮ Abstraction for model checking multi-agent systems ⋮ Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ Automatic Data-Abstraction in Model Checking Multi-Agent Systems ⋮ Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic ⋮ Model checking propositional dynamic logic with all extras ⋮ Producing explanations for rich logics ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic ⋮ Towards Verification of Dialogue Protocols: A Mathematical Model ⋮ Bounded model checking for knowledge and real time ⋮ Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks ⋮ Multi-valued Verification of Strategic Ability ⋮ Verification of multi-agent systems with public actions against strategy logic
Uses Software
This page was built for publication:
