Abstractions of Multi-agent Systems

DOI10.1007/978-3-540-75254-7_2zbMath1151.68652OpenAlexW1572490709MaRDI QIDQ3527267

Constantin Enea, Catalin Dima

Publication date: 25 September 2008

Published in: Multi-Agent Systems and Applications V (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75254-7_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Abstraction for model checking multi-agent systems ⋮ Automatic Data-Abstraction in Model Checking Multi-Agent Systems ⋮ Refining strategic ability in alternating-time temporal logic ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems

This page was built for publication: Abstractions of Multi-agent Systems