CAPD library
☆25Oct 18, 2026Updated last week
Alternatives and similar repositories for CAPD
Users that are interested in CAPD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scalable stochastic verification of continuous-depth models☆12Jun 20, 2023Updated 3 years ago
- Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks☆12Feb 19, 2019Updated 7 years ago
- Signal temporal logic (STL) formulas and robustness in Julia☆17Jan 17, 2025Updated last year
- Challenging reinforcement learning environments with locomotion tasks in space☆14Jun 27, 2022Updated 4 years ago
- The paper repository for "10 quick tips for making your software outlive your job"☆20Oct 28, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- Codes for designing ConVex Optimization-based Stochastic steady-state Tracking Error Minimization (CV-STEM) Control☆11Jun 17, 2020Updated 6 years ago
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 7 months ago
- Toolbox for Automated Controller Synthesis☆18May 31, 2026Updated 4 months ago
- Library for computer-assisted proofs in dynamical systems☆28Oct 21, 2026Updated last week
- Estimate probability of failure using reframed Bayesian optimization☆12Aug 14, 2025Updated last year
- ☆10Oct 26, 2023Updated 3 years ago
- 一种混合VNS（变邻域搜索算法）的PSO（粒子群优化算法）用以解决拦截对抗中的任务分配问题，新的算法能够有效地避免粒子群陷入局部收敛☆13Apr 2, 2022Updated 4 years ago
- Solves the Riccati differential equation for the finite-horizon linear quadratic regulator.☆13Dec 8, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code for "Learning a neural solver for Parametric PDE to Enhance Physics-Informed Methods", poster at ICLR 2025.☆12Oct 10, 2025Updated last year
- Fortran90 code for the orbital simulation of exoplanetary system with simultaneous fit of Transit Times and Radial Velocities.☆10Oct 1, 2026Updated 3 weeks ago
- CCDP: Composition of Conditional Diffusion Policies with Guided Sampling☆11Jan 22, 2026Updated 9 months ago
- ☆25Mar 1, 2022Updated 4 years ago
- Official implementation of the NeurIPS 2025 paper: TRU-POMDP: Task Planning Under Uncertainty via Tree of Hypotheses and Open-Ended POMDP…☆14Nov 12, 2025Updated 11 months ago
- Convenient Blender API wrappings☆25Jan 13, 2025Updated last year
- The goal of this project is to develop a program for planetary soft landings using lossless convexification of non convex control bounds.☆11Mar 25, 2022Updated 4 years ago
- Neural Ordinary Differential Equations for Reinforcement Learning☆25Jul 6, 2023Updated 3 years ago
- Aerospace engineering research in Matlab☆10Dec 7, 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.
- My study☆10Dec 23, 2017Updated 8 years ago
- Peking University Convex Optimization Course given by Professor Wen Zaiwen☆11Jan 11, 2018Updated 8 years ago
- ☆11Jun 20, 2022Updated 4 years ago
- Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S pr…☆13Mar 14, 2026Updated 7 months ago
- The latest source code of the tool Flow*☆30Jan 15, 2023Updated 3 years ago
- ☆11Jun 7, 2021Updated 5 years ago
- ☆11Apr 20, 2024Updated 2 years ago
- Open source code for adjoint aerodynamic shape optimisation☆12Feb 22, 2021Updated 5 years ago
- Free library providing different representations of linear, time invariant differential and difference equation systems, as well as typic…☆26Sep 24, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14May 9, 2024Updated 2 years ago
- Computationally tractable learning-based nonlinear tube MPC using difference of convex neural network dynamic approximation☆12Sep 8, 2026Updated last month
- AGX Dynamics for Unreal plugin.☆13Updated this week
- The impletation of 《Convex Programming Approach to Powered Descent Guidance》☆11Aug 1, 2020Updated 6 years ago
- d-EVD-dual-electric-vehicle-dataset☆14Apr 24, 2026Updated 6 months ago
- Model-Based Reinforcement Learning via Latent-Space Collocation.☆35Mar 29, 2023Updated 3 years ago
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆12Jul 15, 2022Updated 4 years ago