On the Verification of Totally-Ordered HTN Plans
| Title: | On the Verification of Totally-Ordered HTN Plans |
|---|---|
| Authors: | Bartak, Roman; Ondrckova, Simona; Behnke, Gregor; Bercher, Pascal |
| Source: | 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2021 IEEE 33rd International Conference on. :263-267 Nov, 2021 |
| Relation: | 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) |
| Database: | IEEE Xplore Digital Library |