Practical Model Reductions for Verification of Multi-Agent Systems.

Wojciech Jamroga Yan Kim

Published in: IJCAI (2023)

Keyphrases

multi agent systems
statistical model
formal model
probability distribution
management system
computational model
mathematical model
high level
prediction model
theoretical framework
trust model
temporal logic
experimental data
theoretical analysis
multi agent
objective function
similarity measure