GitHub repository: HRI-EU/ProMis
Primary language: Python
Description: Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.