The Spectra Automated Planner for DCEC built on ShadowProver
-
Updated
Feb 3, 2025 - Java
The Spectra Automated Planner for DCEC built on ShadowProver
Ausdroid is a student group that focuses on research and competition related to AI & robotics
Add a description, image, and links to the epistemic-planning topic page so that developers can more easily learn about it.
To associate your repository with the epistemic-planning topic, visit your repo's landing page and select "manage topics."