ARCLab-MIT participation in the KSPDG challenge
☆27Feb 24, 2025Updated last year
Alternatives and similar repositories for kspdg
Users that are interested in kspdg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [AAAI 2025] Neural-Symbolic Collaborative Distillation: Advancing Small Language Models for Complex Reasoning Tasks☆12Jun 19, 2025Updated last year
- Framework to transform natural language into formal language (Temporal Logics).☆43Apr 2, 2024Updated 2 years ago
- Control barrier functions (CBFs) in Julia.☆15Sep 19, 2024Updated last year
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- [TMLR 2025] A collection of research papers on constraint inference within the field of RL☆11May 9, 2025Updated last year
- 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.
- Code of the paper "Universal Morphology Control via Contextual Modulation" at ICML 2023☆15Aug 3, 2023Updated 2 years ago
- 基于NASA的开源软件General Mission Analysis Tool（GMAT）的行星际转移轨道算例☆31Apr 17, 2026Updated 2 months ago
- Feasibility Consistent Representation Learning for Safe Reinforcement Learning (ICML 2024). Current SOTA model-free safe RL algorithm on …☆17Jul 12, 2024Updated last year
- automated planning toolbox☆15Jun 5, 2017Updated 9 years ago
- Computing J2-perturbation in orbital mechanics using Gauss's Variational Equations☆11May 11, 2023Updated 3 years ago
- Towards explainable value functions in reinforcement learning. A framework for collision probability distribution estimation via deep tem…☆14May 5, 2025Updated last year
- 机器学习算法实现☆14Oct 24, 2016Updated 9 years ago
- This project can use SGP4 and HPOP models to propagate the satellite orbit and make mission schedules for the payload, such as camera, SA…☆13Apr 6, 2021Updated 5 years ago
- [ICML 2025] Official implementation of Spherical Diffusion Policy: A SE(3) Equivariant Visuomotor Policy with Spherical Fourier Represent…☆43Jul 8, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Character Grounding and Re-Identification in Story of Videos and Text Descriptions☆10Jan 17, 2021Updated 5 years ago
- Predicting and forecasting the position/trajectory of a satellite orbiting Earth☆17Feb 12, 2025Updated last year
- This repository contains a collection of the most influential papers, and benchmarks related to Large Language Models (LLMs) based Agent …☆58Jul 7, 2025Updated last year
- MIT Orbital Capacity Assessment Toolbox MC for the LEO environment☆21Mar 11, 2025Updated last year
- ☆51Mar 3, 2024Updated 2 years ago
- ☆16Aug 26, 2025Updated 10 months ago
- ☆14Apr 26, 2024Updated 2 years ago
- ☆21Dec 2, 2024Updated last year
- Matlab Code base for T-RO 20 paper on robust Control Barrier Functions (CBFs) with Gaussian Process Regression for estimating the disturb…☆18Nov 9, 2021Updated 4 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.
- ☆41Jul 12, 2024Updated last year
- rbf network based control for robot manipulator☆15Feb 21, 2022Updated 4 years ago
- Simulator that uses machine learning and deep learning algorithms to predict the best route for a satellite to take in order to avoid spa…☆20Dec 22, 2024Updated last year
- Computationally tractable learning-based nonlinear tube MPC using difference of convex neural network dynamic approximation☆12Jul 5, 2024Updated 2 years ago
- Solves the Riccati differential equation for the finite-horizon linear quadratic regulator.☆13Dec 8, 2022Updated 3 years ago
- This repository provides Python code for converting satellite data into a format suitable for deep learning models. It supports various d…☆16Nov 2, 2024Updated last year
- A set of routines for data processing related to ORBit Determination(ORBD) of space objects☆21Aug 2, 2024Updated last year
- ☆20Aug 13, 2024Updated last year
- Collision Probability Calculation and Optimal Avoidance Control for Spacecraft.☆19Mar 15, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- My study☆10Dec 23, 2017Updated 8 years ago
- Repository of codes for my learning journey in space dynamics and control☆23Jun 24, 2026Updated 2 weeks ago
- Some Orbital Mechanics Matlab Codes. Heavily based on the "Orbital Mechanics for Engineers, Howard D. Curtis" book.☆11Apr 17, 2023Updated 3 years ago
- ☆11Jun 20, 2022Updated 4 years ago
- The impletation of 《Convex Programming Approach to Powered Descent Guidance》☆11Aug 1, 2020Updated 5 years ago
- Implementation of the paper Koopman Embedded Equivariant Control☆43Feb 27, 2025Updated last year
- ☆12Jan 3, 2020Updated 6 years ago