Login / Signup
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.
Damian Kurpiewski
Witold Pazderski
Wojciech Jamroga
Yan Kim
Published in:
AAMAS (2021)
Keyphrases
</>
computational model
data sets
artificial intelligence
probabilistic model
theoretical framework
mathematical model
genetic algorithm
high level
multiscale
objective function
probability distribution
decision makers
theoretical analysis
statistical model
model checking
sensitivity analysis