These are the source code of the EGRD search algorithm and the examples in the supplementary material of my paper entitled "Extended Goal Recognition Design with First-Order Computation Tree Logic" that was accepted for publication in AAAI 2022.
-
Notifications
You must be signed in to change notification settings - Fork 0
This is the source code of the algorithm in the paper we submitted to AAAI 2022
License
chiuau/AAAI22-egrd
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This is the source code of the algorithm in the paper we submitted to AAAI 2022
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published