Formal Methods for Plan-based Robot Autonomy: A Case Study

Orlandini, A., Finzi, A., Cesta, A., Fratini, S. and Tronci, E

In PlanSIG-10. Brescia, Italy, December 1-2, 2010