Showing 1 - 2 results of 2 for search 'NASA astronaut', query time: 0.02s Refine Results
  1. 1
    Part of book
    Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
    Por Cadavid, Héctor; Pérez, Alexander; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    “... the Robot Operating System ( ROS ). PLEXIL is a synchronous reactive language developed by NASA for mission...”
    Get full text
    Get full text
  2. 2
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu
    Published in 2012
    Repositorio Repositorio Institucional ECI

    “... by NASA for commanding and monitoring autonomous systems. This paper reports the development...”
    Get full text
Search Tools: Get RSS Feed — Email this Search