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]

Authors

Fabio Mercorio

This author has not been identified. Look up 'Fabio Mercorio' in Google