Tractable multiagent planning for epistemic goals

• 1 January 2002
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 1167-1174
• https://doi.org/10.1145/545056.545095

Abstract

Keywords

• EPISTEMIC & TEMPORAL LOGIC
• MODEL CHECKING
• PLANNING