Pinned Repositories
AI-Hilbert
AI Hilbert is an algebraic geometric based discovery system (based on Putinar's Positivstellensatz), that enables the discovery of fundamental laws of nature (or non-physical systems) based on knowledge (articulated in formal logic terms) and experimental data.
apollo
An open autonomous driving platform
carla_apollo_bridge
This project aims to provide a data and control bridge for the communication between the latest version of Apollo and Carla.
carla_garage
[ICCV'23] Hidden Biases of End-to-End Driving Models
LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
ScenarioComplexity
ScenarioGeneration
Fuzzing traffic scenarios
UnrealF1Tenth
Simulated environment for the F1/10 platform
carla
Open-source simulator for autonomous driving research.
Carla-Autoware-Bridge
Carla 0.9.15 and Autoware Universe Humble
abol-karimi's Repositories
abol-karimi/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
abol-karimi/ScenarioComplexity
abol-karimi/UnrealF1Tenth
Simulated environment for the F1/10 platform
abol-karimi/AI-Hilbert
AI Hilbert is an algebraic geometric based discovery system (based on Putinar's Positivstellensatz), that enables the discovery of fundamental laws of nature (or non-physical systems) based on knowledge (articulated in formal logic terms) and experimental data.
abol-karimi/apollo
An open autonomous driving platform
abol-karimi/BehAVExplor
BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)
abol-karimi/carla
Open-source simulator for autonomous driving research.
abol-karimi/carla_apollo_bridge
This project aims to provide a data and control bridge for the communication between the latest version of Apollo and Carla.
abol-karimi/carla_garage
[ICCV'23] Hidden Biases of End-to-End Driving Models
abol-karimi/CV
abol-karimi/FormalizedTrafficRules
A traffic rules monitor in the CARLA simulator
abol-karimi/leaderboard
CARLA Autonomous Driving leaderboard
abol-karimi/mmfn
[IROS'22] MMFN: Multi-Modal Fusion Net for End-to-End Autonomous Driving
abol-karimi/polygons
Calculating interior faces of a planar graph
abol-karimi/RA-L
abol-karimi/scenario_runner
Traffic scenario definition and execution engine
abol-karimi/ScenarioGeneration
Fuzzing traffic scenarios
abol-karimi/Scenic
A compiler and scene generator for the Scenic scenario description language.
abol-karimi/unc-f1tenth
UNC team for F1/10 autonomous racing competition
abol-karimi/GRAIC
GRAIC autonomous racing competition
abol-karimi/OSCAR
Code for ICML 2021 paper: How could Neural Networks understand Programs?
abol-karimi/training-data-analyst
Labs and demos for courses for GCP Training (http://cloud.google.com/training).
abol-karimi/UNC-dissertation-template
PhD Dissertation Template for UNC Computer Science