Login / Signup
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models.
Davide Catta
Jean Leneutre
Vadim Malvone
Aniello Murano
Published in:
AAMAS (2024)
Keyphrases
</>
alternating time temporal logic
dynamic model
model checking
experimental data
imperfect information
decision making
multiple models
parameter estimates
multi agent
monte carlo
temporal logic