Showing 1 - 1 results of 1 for search 'NASA astronaut', query time: 0.02s Refine Results
  1. 1
    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