1. Bounded policy iteration for decentralized POMDPs;Bernstein,2005
2. Strong planning under partial observability;Bertoli;Artificial Intelligence,2006
3. Dynamic Programming and Optimal Control (2 vols);Bertsekas,1995
4. Modal Logic;Blackburn,2002
5. Bounded branching and modalities in non-deterministic planning;Bonet,2006