Lists (1)
Stars
An efficient solver for lifelong Multi-Agent Path Finding
Small example / program showing how to connect multiple clients to a single server using Python 3 sockets and multi-threading. Allows for instant messaging over the CLI to another client on the sam…
Motion planning algorithms commonly used on autonomous vehicles. (path planning + path tracking)
Kolmogorov-Arnold Network for Reinforcement Leaning, initial experiments
Map handling framework for automated driving
Pip package for the CVPRW 2023 Paper "Lanelet2 for nuScenes: Enabling Spatial Semantic Relationships and Diverse Map-Based Anchor Paths".
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Repository for ConVeY Workshop 2022
Runtime Verification of Autonomous Driving Systems in CARLA
A template repo for Python packages with main/dev branches, unittests, pypi, and docu