Browsing by Author "fb166b8a674d5a3e0e470304f48d3fd6"
Now showing items 1-1 of 1
-
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 ...