ezapridou / carla-accView external linksLinks
Runtime Verification of Autonomous Driving Systems in CARLA
☆27Aug 21, 2020Updated 5 years ago
Alternatives and similar repositories for carla-acc
Users that are interested in carla-acc are comparing it to the libraries listed below
Sorting:
- Specification-based real-time monitoring library☆70Nov 20, 2025Updated 2 months ago
- ☆23Jan 22, 2024Updated 2 years ago
- VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…☆209Jan 19, 2026Updated 3 weeks ago
- visualization program for vlp-16 based on a viz class☆10Feb 8, 2017Updated 9 years ago
- Autoware - the world's leading open-source software project for autonomous driving + Latest OpenPlanner☆30Feb 16, 2023Updated 3 years ago
- Examples of using Carla API for Autonomous Driving Simulation☆42Nov 10, 2023Updated 2 years ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Aug 27, 2024Updated last year
- Repository to store different driving benchmarks that run on the CARLA simulator☆88Feb 10, 2020Updated 6 years ago
- The Python book for developers who miss curly braces. Learn real Python while complaining about whitespace. 15 chapters of education, com…☆15Aug 21, 2025Updated 5 months ago
- simple markdown editor and http server for reveal.js presentation powered by electron☆13Dec 8, 2022Updated 3 years ago
- Optimized MDNet for fast object tracking☆10Apr 10, 2019Updated 6 years ago
- 文庫本スタイルのゲラをテキストファイルから作る、github actionsのワークフローです。☆11Sep 29, 2021Updated 4 years ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- Create uml diagrams of typescript files☆12Jan 8, 2019Updated 7 years ago
- This action add milestone to PRs☆11Feb 18, 2025Updated 11 months ago
- Repository for the paper "Perception Datasets for Anomaly Detection in Autonomous Driving: A Survey"☆10Jul 24, 2023Updated 2 years ago
- Car azimuth estimation from a single photograph☆16Jun 7, 2025Updated 8 months ago
- Matlab functions to read and write SVG (Scalable Vector Graphic) files to and from Matlab structures☆11Jan 29, 2023Updated 3 years ago
- GitHub IssueをProjectに自動登録☆10Updated this week
- Simple Lossy Compression Image Format for Embedded Platforms☆11Oct 31, 2025Updated 3 months ago
- Supersonic Impulse Turbine Blade Design☆12Jun 26, 2018Updated 7 years ago
- Building autonomous driving system by using CARLA simulator☆10Apr 30, 2024Updated last year
- Simplified ROS interface handling☆11Nov 13, 2021Updated 4 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A digital twin of the city of Chicago along with automated sensors☆12Nov 14, 2019Updated 6 years ago
- ☆11Apr 18, 2024Updated last year
- This repo consists of the implementation of ADAS algorithms on Arduino, namely, Adaptive Cruise Control and Autonomous Lane Keeping. It a…☆13Sep 29, 2020Updated 5 years ago
- Bundled installer for various Vamp plugins with redistributable licences, built and packaged for Windows, Mac, and Linux☆11Jul 31, 2024Updated last year
- Tourmaline is a AOT programming language with LLVM☆12Aug 21, 2017Updated 8 years ago
- NeRF - Neural Radiance Fileds in MATLAB☆10Jan 17, 2024Updated 2 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- WIP: Debug Adapter Protocol (DAP) tools for Model Context Protocol (MCP)☆12Jul 2, 2025Updated 7 months ago
- Slideshow player for VRCSDK3☆12Jan 17, 2023Updated 3 years ago
- A quick webapp that determines if a picture is a chihuahua or a muffin.☆12Apr 16, 2016Updated 9 years ago
- Ray Framework (https://github.com/ray-project/ray) on Kubernetes☆12Oct 12, 2018Updated 7 years ago
- My Udacity Machine Learning Nanodegree capstone project in Reinforcement Learning☆10Dec 1, 2017Updated 8 years ago
- ☆11Dec 5, 2020Updated 5 years ago
- Winter Break Collaboratory DS Boot Camp during the academic year of 2017-2018☆14Feb 12, 2018Updated 8 years ago
- Deep Reinforcement Learning - Implementations and Theory: A path to mastery☆12Nov 21, 2021Updated 4 years ago