Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness

DOI10.1007/3-540-49213-5_13MaRDI QIDQ7010070zbMATH OpenFDO

Authors Catholijn M. Jonker, Jan Treur

Publication date 19 March 2025

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

This page was built for publication: Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7010070)