Listar 2 - Investigación por autor "d010620c004c882204e4c6699af11cfa"
Mostrando ítems 1-2 de 2
-
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
Cadavid Rengifo, Hector Fabio; Rocha, Camilo; Muñoz, Cesar (Springer NatureUSA.Switzerland, 2012)The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ... -
A Graphical Environment for the Semantic Validation of a Plan Execution Language
Rocha, Camilo; Muñoz, Cesar; Cadavid, Hector (© Copyright 2021 IEEEUSA., 2009)This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...