[IROS 22'] Model-free Neural Lyapunov Control
☆27Mar 8, 2023Updated 3 years ago
Alternatives and similar repositories for MFNLC
Users that are interested in MFNLC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An open-source framework to benchmark and assess safety specifications of Reinforcement Learning problems.☆14Aug 25, 2023Updated 3 years ago
- Mobile Robot Control via Goal-Conditioned Reinforcement Learning☆24Oct 13, 2023Updated 2 years ago
- [ACL2023] Official code repository for VLN-Trans☆14Sep 10, 2023Updated 3 years ago
- [CoRL 2023] Differentiable game-theoretic optimization integrated with neural networks for multi-agent prediction and control.☆16Jun 21, 2024Updated 2 years ago
- Repository of the work: Improving robot navigation in crowded environments using intrinsic rewards (ICRA 2023)☆27Nov 11, 2025Updated 10 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆41Aug 24, 2024Updated 2 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- FLoRA: A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems☆13Apr 12, 2026Updated 5 months ago
- ☆11Mar 24, 2022Updated 4 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 3 years ago
- ☆13Feb 7, 2023Updated 3 years ago
- Exploiting Transformer in Reinforcement Learning for Interpretable Temporal Logic Motion Planning (RAL 2023)☆13Jul 17, 2023Updated 3 years ago
- Sensorless control of an SPMSM using a second-order Sliding Mode Observer (also called Super-twister) to acquire the rotor position.☆11Apr 5, 2022Updated 4 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆86Sep 12, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- SocialCompliantRobot☆16Oct 10, 2023Updated 2 years ago
- [AAAI 2024 (Oral)] Safety-MuJoCo Environments.☆12Jun 4, 2024Updated 2 years ago
- Code accompanying "Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory"☆33Mar 14, 2024Updated 2 years ago
- Implementation of the cascade extended state observer☆22Mar 22, 2022Updated 4 years ago
- Toolbox for Automated Controller Synthesis☆18May 31, 2026Updated 3 months ago
- Pytorch code for "Learning Belief Representations for Imitation Learning in POMDPs" (UAI 2019)☆22Aug 4, 2022Updated 4 years ago
- Public sourcecode for Transformable Gaussian Reward Function for Robot Navigation with Deep Reinforcement Learning☆23Aug 7, 2024Updated 2 years ago
- Pytorch implementation of "Safe Exploration in Continuous Action Spaces" [Dalal et al.]☆75Jun 2, 2019Updated 7 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆59Jun 13, 2025Updated last year
- 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.
- (ICRA 2024) SCALE: Self-Correcting Visual Navigation for Mobile Robots via Anti-Novelty Estimation☆11Jan 7, 2025Updated last year
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆18Nov 23, 2020Updated 5 years ago
- ☆17Jul 21, 2022Updated 4 years ago
- [ICRA'25] Decentralized Safe and Scalable Multi-Agent Control Under Limited Actuation☆21Jan 28, 2025Updated last year
- Robust-Trajectory-Tracking-for-Quadrotor-UAVs-using-Sliding-Mode-Control☆18Mar 24, 2024Updated 2 years ago
- The Verifiably Safe Reinforcement Learning Framework☆57Jul 22, 2021Updated 5 years ago
- PyTorch Official Implementation of CoRL 2023 Paper: Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-a…☆37May 30, 2024Updated 2 years ago
- [IROS 2023] Revisiting Deformable Convolution for Depth Completion☆14Nov 10, 2023Updated 2 years ago
- Obstacle Avoidance with Dynamic Movement Primitives☆15Feb 17, 2021Updated 5 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 "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆23May 24, 2023Updated 3 years ago
- Simulation results and experiment results for "Self-organizing interval type-2 function-link fuzzy neural network control for uncertain m…☆13Sep 2, 2024Updated 2 years ago
- Learning-based Initialization of Trajectory Optimization for Path-following Problems of Redundant Manipulators (ICRA23)☆21May 25, 2023Updated 3 years ago
- ☆19May 8, 2023Updated 3 years ago
- In this paper, the predefined-time collision-free formation control issue is investigated for a group of omnidirectional mobile robots. T…☆10Jul 22, 2026Updated 2 months ago
- [RA-L/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."☆37Oct 17, 2024Updated last year
- This package contains a dynamic obstacle avoidance algorithm for concave and convex obstacles as developped in [1].☆70Feb 20, 2023Updated 3 years ago