Back to Search Start Over

A Novel Parsing-based Approach for Verification of Hierarchical Plans

Authors :
Bartak, Roman
Ondrckova, Simona
Maillard, Adrien H
Behnke, Gregor
Bercher, Pascal
Publication Year :
2020
Publisher :
United States: NASA Center for Aerospace Information (CASI), 2020.

Details

Language :
English
Database :
NASA Technical Reports
Publication Type :
Report
Accession number :
edsnas.11366877435882
Document Type :
Report