Christos H. Papadimitriou;David Wolfe
-;-
Computational Complexity of Planning Based on Partial Information about the System's Present and Past States
CL '00 Proceedings of the First International Conference on Computational Logic
Towards a notion of unsatisfiable and unrealizable cores for LTL
Science of Computer Programming