Login / Signup
A Formal Interactive Verification Environment for the Plan Execution Interchange Language.
Camilo Rocha
Héctor Cadavid
César A. Muñoz
Radu Siminiceanu
Published in:
IFM (2012)
Keyphrases
</>
plan execution
dynamic environments
plan generation
formal methods
formal language
mobile robot
model checking
temporal constraints
optimal solution
natural language
computational intelligence
programming language
formal specification
specification language
simple temporal