Skip to content
@VerifiableAutonomy

Verifiable Autonomy

Repositories use by the Verifiable Autonomy Project

Popular repositories Loading

  1. TORCSLink TORCSLink Public

    An interface between The Open Source Race Car Simulator (TORCS) and MATLAB/Simulink (or anything else...)

    C++ 16 12

  2. AgentPlatooning AgentPlatooning Public

    BDI agent codes for autonomous vehicle platooning

    Java 10 6

  3. AutonomousPlatooning AutonomousPlatooning Public

    Control system for a platoon of autonomous vehicles

    C 9 6

  4. BDIPython BDIPython Public

    Development of a Python Library to support BDI-style Programming

    Python 3 3

  5. mcapl mcapl Public

    Java 1 1

  6. autonomousCar-roundabout autonomousCar-roundabout Public

    Java 1

Repositories

Showing 8 of 8 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…