A Formal Interactive Verification Environment for the Plan Execution Interchange Language.

Camilo Rocha, Hctor Cadavid, Csar A. Muoz, Radu Siminiceanu

Browse the full IFM paper archive.