Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems.

Riccardo De Masellis Valentin Goranko

Published in: AAMAS (2021)

Keyphrases

multi agent systems
formal verification
formal methods
dynamic environments
high level declarative
multi agent
game theory
dynamically changing
open environments
data sets
databases
asynchronous circuits
verification method
concurrent systems
bounded model checking
functional verification