ATL* With Truly Perfect Recall: Expressivity and Validities.

Nils Bulling Wojciech Jamroga Matei Popovici

Published in: ECAI (2014)

Keyphrases

multi agent systems
high precision
alternating time temporal logic
precision and recall
model checking
high recall
temporal logic
monte carlo
data sets
probability distribution
video sequences
website
multimedia
learning algorithm
recall precision
highest precision
machine learning