Tools

Is AI logical?

MALTA: mission planning of autonomous agents

GitHub: https://github.com/rgu01/MALTA
The tool is open for extension. If you have your own algorithms for pathfinding, task scheduling, and collision avoidance, please have a try!

CommonUppRoad: AD controller synthesis

GitHub: https://github.com/rgu01/CommonUppRoad
CommonRoad + UPPAAL for AD controller synthesis, verification, learning, and visualization.

Page updated

Google Sites

Report abuse