Probabilistic Resource-bounded Alternating-time Temporal Logic.

Hoang Nga Nguyen Abdur Rakib

Published in: AAMAS (2019)

Keyphrases

resource bounded
alternating time temporal logic
information gathering
meta level
autonomous agents
model checking
rational agents
multi agent
search algorithm
theoretical framework
imperfect information