Resource-bounded alternating-time temporal logic.

Natasha Alechina Brian Logan Nguyen Hoang Nga Abdur Rakib

Published in: AAMAS (2010)

Keyphrases

resource bounded
alternating time temporal logic
model checking
information gathering
imperfect information
autonomous agents
meta level
rational agents
temporal logic