Model checking for universal planning in deterministic and non-deterministic domains

Fabio Mercorio. Model checking for universal planning in deterministic and non-deterministic domains. AI Commun., 26(2):257-259, 2013. [doi]