Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.

Xiaowei Huang Kaile Su Chenyi Zhang

Published in: AAAI (2012)

Keyphrases

incomplete information
alternating time temporal logic
partial information
missing information
query answering
probabilistic model
autonomous agents
mobile robot
first order logic
model checking
bayesian networks
special case
inference rules