ARCLab-MIT / kspdgLinks
ARCLab-MIT participation in the KSPDG challenge
☆26Updated 11 months ago
Alternatives and similar repositories for kspdg
Users that are interested in kspdg are comparing it to the libraries listed below
Sorting:
- ☆36Updated last year
- Source code of our paper "Multi-Agent Consensus Seeking via Large Language Models".☆43Updated last year
- RL environments and tools for spacecraft autonomy research, built on Basilisk. Developed by the AVS Lab.☆98Updated last week
- The Drone Swarm Search project provides an environment for SAR missions built on PettingZoo, where agents, represented by drones, are tas…☆65Updated 5 months ago
- LAMARL: LLM-Aided Multi-Agent Reinforcement Learning for Cooperative Policy Generation☆39Updated 6 months ago
- Synthesis of control barrier functions with SOS☆15Updated 2 years ago
- A new method for a robot to learn a control objective from human user's directional corrections.☆15Updated 4 years ago
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆14Updated 5 years ago
- Meta-Reinforcement Learning for Spacecraft Proximity Operations Guidance and Control in Cislunar Space☆14Updated last year
- ☆14Updated 5 months ago
- Code for paper "Learning to Guide: Guidance Law Based on Deep Meta-learning and Model Predictive Path Integral Control"☆10Updated 6 years ago
- Project under CSF407 - AI☆13Updated last year
- Framework to transform natural language into formal language (Temporal Logics).☆41Updated last year
- Learning Multimodal Behaviors from Scratch with Diffusion Policy Gradient☆20Updated last year
- [IROS 22'] Model-free Neural Lyapunov Control☆28Updated 2 years ago
- ☆63Updated last year
- Path planning from STL (Signal Temporal Logic) specifications☆58Updated 3 years ago
- [ICRA 2025]Robust Self-Reconfiguration for Fault-Tolerant Control of Modular Aerial Robot Systems☆24Updated 8 months ago
- Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution (ICAPS-22; AIJ-23)☆30Updated 5 months ago
- SPACE (Swarm Planning And Contorl Evaluation) Simulator☆23Updated 3 months ago
- ☆26Updated last year
- Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition☆14Updated last year
- ☆58Updated 4 years ago
- This repository contains the code for our paper on Dynamic Mirror Descent based MPC for Model-Free RL☆26Updated 4 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆70Updated 4 years ago
- Python Version of F-16 Maneuver Verification Benchmark☆129Updated 9 months ago
- Jax version of F16 dynamics☆26Updated last year
- ☆18Updated 4 years ago
- Exact Verification of ReLU Neural Control Barrier Functions☆11Updated 2 years ago
- ☆30Updated last year