Python Version of F-16 Maneuver Verification Benchmark
☆132Mar 11, 2026Updated last month
Alternatives and similar repositories for AeroBenchVVPython
Users that are interested in AeroBenchVVPython are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark☆78Jul 12, 2023Updated 2 years ago
- F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".☆76Jul 30, 2022Updated 3 years ago
- Jax version of F16 dynamics☆26Aug 18, 2024Updated last year
- ☆10Mar 24, 2023Updated 3 years ago
- A python interface for DATCOM. Provides export/ parsing capabilities.☆28Aug 18, 2012Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- F16 Simulator - Live Piloted Python Simulation ; based on the 'Non-linear F-16 Simulation using Simulink and Matlb' of the University of …☆17Dec 20, 2018Updated 7 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 3 years ago
- An JSBSim environment for reinforcement learning, original from https://github.com/Gor-Ren/gym-jsbsim☆50Jun 22, 2024Updated last year
- Verification and simulation of an autonomous control system for unmanned aircraft☆12Jan 3, 2022Updated 4 years ago
- A reinforcement learning environment for aircraft control using the JSBSim flight dynamics model☆250Feb 26, 2021Updated 5 years ago
- Team 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.☆28Jun 8, 2021Updated 4 years ago
- A brief JAX tutorial with examples from control theory☆12Nov 17, 2022Updated 3 years ago
- A reinforcement learning environment for aircraft control using the JSBSim flight dynamics model☆54Sep 3, 2024Updated last year
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 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.
- An open source flight dynamics & control software library☆2,020Apr 22, 2026Updated last week
- ezaero - Easy aerodynamics in Python☆33Oct 22, 2020Updated 5 years ago
- [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning☆14Jan 14, 2020Updated 6 years ago
- This project contains the UNIFIER19 C7A-HARW aircraft Flight Dynamics Simulator Simulink model and XPlane-11 model.☆25Oct 14, 2024Updated last year
- Nonlinear model of F16 flight dynamics.☆45Apr 2, 2025Updated last year
- Fixed Wing Flight Simulation Environment for Reinforcement Learning☆83Jan 20, 2022Updated 4 years ago
- Neural Network Verification Software Tool https://www.verivital.com Documentation:☆143Apr 24, 2026Updated last week
- Temporal Logic Planning toolbox☆126Apr 26, 2026Updated last week
- ☆71Mar 21, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Air to air combat sandbox, created in Python 3 using the HARFANG 3D 2 framework.☆215Apr 1, 2026Updated last month
- This projects addresses unmanned aerial vehicle (UAV) navigation and path planning under engine-out case for landing under severe weather…☆14Feb 26, 2026Updated 2 months ago
- Nonlinear and linear flight simulation with autopilots for altitude hold, velocity hold, and pitch controls(SAS damper).☆14Oct 1, 2021Updated 4 years ago
- A Gym environment for navigation with an F-16 model simulated in JSBSim.☆53Jul 21, 2024Updated last year
- Julia package for representing linear, time-invariant system models and operations defined on them.☆10Oct 18, 2019Updated 6 years ago
- Overview of the aircraft encounter models that support safety analysis and development of aircraft avoidance systems.☆28Oct 29, 2021Updated 4 years ago
- ☆14Jul 27, 2022Updated 3 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 3 years ago
- Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates☆78Feb 25, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Interval Analysis and Mixed Monotone Reachability in JAX☆20Feb 22, 2026Updated 2 months ago
- Official Implementation of RSS2025 Paper: Songyuan Zhang*, Oswin So*, Mitchell Black, Zachary Serlin, Chuchu Fan: "Solving Multi-Agent Sa…☆32Jul 2, 2025Updated 10 months ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Automated Robust Co-design for Cyberphysical Systems☆31Dec 17, 2022Updated 3 years ago
- Machine Learning + Spacecraft Trajectory Optimisation☆34Jun 26, 2022Updated 3 years ago
- ☆104Jul 8, 2020Updated 5 years ago
- Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…☆25May 14, 2025Updated 11 months ago