Modelling resilient collaborative multi-agent systems
From MaRDI portal
Publication:2030154
DOI10.1007/s00607-020-00861-2zbMath1473.68193OpenAlexW3110317754MaRDI QIDQ2030154
Inna Vistbakka, Elena Troubitsyna
Publication date: 7 June 2021
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00607-020-00861-2
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Uses Software
Cites Work