Overview of the aircraft encounter models that support safety analysis and development of aircraft avoidance systems.
☆29Oct 29, 2021Updated 4 years ago
Alternatives and similar repositories for em-overview
Users that are interested in em-overview are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manned Bayesian Network Encounter Models☆20May 1, 2024Updated 2 years ago
- DAA Evaluation of Guidance, Alerting, and Surveillance☆13Jul 26, 2021Updated 4 years ago
- open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volum…☆83Sep 30, 2025Updated 9 months ago
- Framework for autonomous vehicle risk assessment☆16May 11, 2023Updated 3 years ago
- ☆48Sep 30, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Precedence constrained multi-agent task assignment and path finding☆16Dec 26, 2023Updated 2 years ago
- Estimate probability of failure using reframed Bayesian optimization☆11Aug 14, 2025Updated 10 months ago
- Vehicle (car) shapes for use with the Tikz LaTeX package.☆18Dec 16, 2023Updated 2 years ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆54Nov 19, 2020Updated 5 years ago
- Conflict avoidance algorithm for unmanned aircraft traffic management☆10May 30, 2017Updated 9 years ago
- Library for fault Modelling in Modelica☆11Sep 3, 2025Updated 10 months ago
- A Gentle Introduction to Gazebo Classic Modeling (EN/中)☆19Jul 31, 2022Updated 3 years ago
- ☆11Aug 25, 2022Updated 3 years ago
- Python VTOL simulator☆22Jan 22, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repository contains parts of code for the publication "Ensembles of Probabilistic LSTM Predictors and Correctors for Bearing Prognos…☆12Jul 19, 2022Updated 3 years ago
- Package for automotive simulation in julia☆29Aug 6, 2022Updated 3 years ago
- Library that creates a TSDF from a depth image and inserts it into an Octree (Octomap)☆13Jan 15, 2014Updated 12 years ago
- Companion code for the paper "Learnable Uncertainty under Laplace Approximations" (UAI 2021).☆19Jun 8, 2021Updated 5 years ago
- Autonomy stack for off-road navigation☆40Jun 24, 2026Updated 2 weeks ago
- ☆23Dec 6, 2021Updated 4 years ago
- Geometry-Consistent Video Diffusion for Robotic Visual Policy Transfer☆38Apr 17, 2026Updated 2 months ago
- Flexible interactive visualization for large trees in Julia using D3.js☆46Mar 1, 2026Updated 4 months ago
- Implementation of BIMRL: Brain Inspired Meta Reinforcement Learning - Roozbeh Razavi et al. (IROS 2022)☆10Dec 1, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Oct 19, 2020Updated 5 years ago
- 3D Scene Annotation and Dataset Toolkit☆10Jun 11, 2023Updated 3 years ago
- Pytorch code for "Learning Guidance Rewards with Trajectory-space Smoothing" (NeurIPS 2020)☆12Jul 7, 2021Updated 5 years ago
- Assigns Elo Ratings to Python Global Optimizers☆24Apr 3, 2024Updated 2 years ago
- METASET: Exploring Shape and Property Spaces for Data-Driven Metamaterials Design☆20May 1, 2023Updated 3 years ago
- SysMD is a SysML v2/KerML tool with an intuitive, notebook-style interface that makes getting started easy. What truly sets SysMD apart i…☆44Updated this week
- Python Version of F-16 Maneuver Verification Benchmark☆140Mar 11, 2026Updated 3 months ago
- UAV Flocking with Multi-Agent Reinforcement Learning. The Code of the paper: "An invulnerable leader–follower collision-free unmanned aer…☆49Dec 10, 2025Updated 6 months ago
- Algorithms described in the paper Hindsight Credit Assignment (NeurIPS 2019).☆11Oct 27, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Patient data simulator following the structure of an open-ai gym.☆12Jul 9, 2019Updated 7 years ago
- My academic personal page. Written in plain html with bootstrap.css☆18Jun 27, 2026Updated last week
- Intuitive graph theory explorer powered by d3☆20Apr 1, 2017Updated 9 years ago
- Prototype graphical user interface for QIIME 2☆15Feb 27, 2023Updated 3 years ago
- Proof of concept of the SayCan project applying on real UR5 robot☆10May 15, 2023Updated 3 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- AGATA (Automated Glucose dATa Analysis) is a MATLAB® toolbox to analyse glucose data.☆12Oct 17, 2023Updated 2 years ago