Practical Model Reductions for Verification of Multi-Agent Systems.

Wojciech Jamroga Yan Kim

Published in: CoRR (2023)

Keyphrases

computational model
multi agent systems
probabilistic model
management system
prior knowledge
mathematical model
database
data sets
information systems
case study
cooperative
parameter estimation
theoretical framework
experimental data
model checking
colored petri nets