| Title: |
A Novel Parsing-based Approach for Verification of Hierarchical Plans |
| Authors: |
Bartak, Roman; Ondrckova, Simona; Maillard, Adrien; Behnke, Gregor; Bercher, Pascal |
| Source: |
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2020 IEEE 32nd International Conference on. :118-125 Nov, 2020 |
| Relation: |
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) |
| Database: |
IEEE Xplore Digital Library |