PT Journal AU Cesta, A Fratini, S Orlandini, A Finzi, A Tronci, E TI Flexible Plan Verification: Feasibility Results SO Fundamenta Informaticae PY 2011 BP 111 EP 137 VL 107 IS 2 DI 10.3233/FI-2011-397 ER