[RA-L/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.
☆18Dec 22, 2023Updated 2 years ago
Alternatives and similar repositories for stl_npc
Users that are interested in stl_npc are comparing it to the libraries listed below
Sorting:
- Implementation code for the signal temporal logic tree (sTLT) paper☆14Sep 27, 2023Updated 2 years ago
- Deep Reinforcement Learning with LTL goals.☆10May 19, 2020Updated 5 years ago
- Path planning from STL (Signal Temporal Logic) specifications☆59Nov 16, 2022Updated 3 years ago
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆38Oct 13, 2023Updated 2 years ago
- Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…☆25May 14, 2025Updated 9 months ago
- Fast QP Solver in JAX☆29Aug 29, 2024Updated last year
- A python library for control from Signal Temporal Logic (STL) specifications☆56Jun 13, 2025Updated 8 months ago
- This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.☆25Sep 15, 2017Updated 8 years ago
- Online Signal Temporal Logic (STL) Monte-Carlo Tree Search for Guided Imitation Learning☆25Sep 29, 2022Updated 3 years ago
- ☆10Jul 14, 2021Updated 4 years ago
- Source code for T-RO paper "Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications"☆40May 31, 2025Updated 9 months ago
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 8 years ago
- [IROS2023]Learning to Solve Tasks with Exploring Prior Behaviours☆12Mar 3, 2024Updated 2 years ago
- Framework to transform natural language into formal language (Temporal Logics).☆41Apr 2, 2024Updated last year
- ☆43Oct 19, 2022Updated 3 years ago
- Find optimal path for electric vehicle using spatial information.☆11Apr 1, 2023Updated 2 years ago
- Implementation and evaluation of Almanac (Automaton/Logic Multi-Agent Natural Actor-Critic), an algorithm for multi-agent reinforcement l…☆10May 5, 2022Updated 3 years ago
- Contains implementation of the DoubIL and ResiduIL algorithms from the ICML '22 paper Causal Imitation Learning under Temporally Correlat…☆11Dec 9, 2022Updated 3 years ago
- ☆11Apr 8, 2024Updated last year
- ☆11Jan 11, 2022Updated 4 years ago
- Learning Fair Policies in Decentralized Cooperative Multi-Agent Reinforcement Learning☆10Nov 14, 2021Updated 4 years ago
- Code of Feature Fusion Transferability Aware Transformer for Unsupervised Domain Adaptation, WACV 2025☆10Dec 5, 2024Updated last year
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated last year
- ☆16Jul 18, 2022Updated 3 years ago
- ☆10Dec 29, 2020Updated 5 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Trajectory optimization for a missile model using Flexible Final Time Constrained Differential Dynamic Programming (FFT-CDDP).☆10Apr 2, 2022Updated 3 years ago
- Information-Driven Design of Imaging Systems☆18Dec 24, 2025Updated 2 months ago
- One-Shot Informed Robotic Visual Search in the Wild☆11Apr 19, 2020Updated 5 years ago
- Text-to-Drive: Diverse Driving Behaviors Synthesis via Large Language Models☆11Mar 17, 2024Updated last year
- Accompanying code with the submission of "Variable Time-step MPC for Agile Multi-rotor UAV Interception of Dynamic Targets" to IEEE RA-L☆15Nov 14, 2024Updated last year
- Julia package providing curated system images☆12Jan 1, 2025Updated last year
- Repo for materials for coordinating work on improving Julia's function documentation☆10Jul 30, 2022Updated 3 years ago
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆19Jul 14, 2025Updated 7 months ago
- Codebase of paper "Self-Improving Safety Performance of Reinforcement Learning Based Driving with Black-Box Verification Algorithms" publ…☆12Jul 13, 2023Updated 2 years ago
- files for DDK☆12Dec 20, 2023Updated 2 years ago
- 基于openai api的对话机器人，使用百度语音识别和基于vits模型训练的语音合成，实现与chatgpt的对话交流☆12Jun 28, 2023Updated 2 years ago
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Apr 23, 2023Updated 2 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago