Compositional verification of multi-agent systems in temporal multi-epistemic logic
From MaRDI portal
Publication:1610622
DOI10.1023/A:1017588004618zbMath1002.68094OpenAlexW3023528543MaRDI QIDQ1610622
Joeri Engelfriet, Jan Treur, Catholijn M. Jonker
Publication date: 20 August 2002
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1017588004618
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (3)
Metric temporal reasoning with less than two clocks ⋮ Functional systems in the context of temporal×modal logics with indexed flows ⋮ A Compositional Automata-based Approach for Model Checking Multi-Agent Systems
Uses Software
This page was built for publication: Compositional verification of multi-agent systems in temporal multi-epistemic logic
