Path planning from STL (Signal Temporal Logic) specifications
-
Updated
Nov 16, 2022 - Python
#
signal-temporal-logic
Here are 32 public repositories matching this topic...
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
-
Updated
Oct 13, 2023 - C++
[RA-L/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."
-
Updated
Oct 17, 2024 - Python
Online Signal Temporal Logic (STL) Monte-Carlo Tree Search for Guided Imitation Learning
deep-learning mcts monte-carlo-tree-search imitation-learning learning-from-demonstration signal-temporal-logic
-
Updated
Sep 29, 2022 - Python
An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications
-
Updated
Jun 7, 2023 - Python
[RA-L/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.
-
Updated
Dec 22, 2023 - Python
Turn STL formulas into maps and planed paths, control robots with DRL controllers.
control linear-programming deep-reinforcement-learning gym mobile-robots task-planning pybullet mujoco-py signal-temporal-logic goal-conditioned-rl
-
Updated
Apr 16, 2023 - Python
Runtime Verification library of Signal Temporal Logic specifications
-
Updated
May 22, 2026 - Rust
Differentiable Symbolic Specification
python first-order-logic pytorch logic-programming formal-specification differentiable-programming signal-temporal-logic
-
Updated
Jun 5, 2024 - Python
[RA-L2024/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."
-
Updated
Oct 17, 2024 - Python
Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications [CoRL 2024]
-
Updated
Jun 27, 2025 - Python
Splitting signal temporal logic (STL) specifications in time
formal-methods scalable-applications signal-temporal-logic robotic-task formal-methods-in-robotics-and-automation
-
Updated
Sep 7, 2024 - Python
[RA-L2023/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.
-
Updated
Oct 17, 2024 - Python
This is the official repository for the Evolutionary Computation paper "BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data".
-
Updated
Feb 25, 2024 - Java
This is the official repository for the Applied Sciences paper "Mining Road Traffic Rules with Signal Temporal Logic and Grammatical Evolution".
-
Updated
Nov 21, 2022 - Java
Model predictive control (MPC) for a stochastic linear system with runtime signal temporal logic (STL) specifications
formal-methods model-predictive-control signal-temporal-logic stochastic-systems risk-aware-planner risk-aware
-
Updated
Sep 6, 2024 - Python
SAFIRL: Shielded RL with CBF/MPC on Franka-MuJoCo - reproducible training/evaluation, STL-based verification, benchmarks, Docker/CI.
reinforcement-learning robotics verification pytest benchmarks mpc temporal-logic reproducibility ruff mujoco franka signal-temporal-logic safe-rl control-barrier-function safirl shielded-rl
-
Updated
Apr 30, 2026 - Python
-
Updated
Sep 2, 2022 - Python
In this repository you can find the code necessary for the required exercise on learning STL formulae.
-
Updated
Jan 12, 2022 - Java
Synthesizing a trace that satisfies a given STL formula [CAV'24]
-
Updated
Oct 2, 2025 - Python
Improve this page
Add a description, image, and links to the signal-temporal-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the signal-temporal-logic topic, visit your repo's landing page and select "manage topics."