Similar repositories to VerifiableAutonomy/AgentPlatooning:

• VerifiableAutonomy/AgentPlatooning github similar
• trolando/oink github similar
• autonomy-and-verification-uol/ROSMonitoring github similar
• AutoModelCar/AutoModelCarWiki github similar
• chauvinSimon/IV19 github similar
• mCRL2org/mCRL2 github similar
• chauvinSimon/Reinforcement-Learning-for-Decision-Making-in-self-driving-cars github similar
• phbender/liblanelet github similar
• carla-simulator/carla-autoware github similar
• bark-simulator/bark github similar
• lefticus/cpp_box github similar
• LiJiangnanBit/path_optimizer github similar
• JanuszBedkowski/gpu_computing_in_robotics github similar
• qiaoxu123/Self-Driving-Cars github similar
• alexliniger/MPCC github similar
• AutoRally/autorally github similar
• ucla-mobility/OpenCDA github similar
• joboccara/pipes github similar
• PRBonn/semantic_suma github similar
• dynamicslab/pysindy github similar
• flow-project/flow github similar
• onlytailei/CppRobotics github similar
• koide3/hdl_graph_slam github similar
• strasdat/Sophus github similar
• eleurent/highway-env github similar
• MRPT/mrpt github similar
• cruise-automation/webviz github similar
• daohu527/dig-into-apollo github similar
• manfreddiaz/awesome-autonomous-vehicles github similar
• dafny-lang/dafny github similar
• lgsvl/simulator github similar
• rachitiitr/DataStructures-Algorithms github similar
• jupyter-xeus/xeus-cling github similar
• cycfi/elements github similar
• root-project/cling github similar
• alandefreitas/matplotplusplus github similar
• ethz-asl/kalibr github similar
• TheLartians/ModernCppStarter github similar
• jbeder/yaml-cpp github similar
• carla-simulator/carla github similar