Path planning from STL (Signal Temporal Logic) specifications
-
Updated
Nov 16, 2022 - Python
#
signal-temporal-logic
Here are 19 public repositories matching this topic...
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
[RA-L/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."
-
Updated
Oct 17, 2024 - 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
Differentiable Symbolic Specification
python first-order-logic pytorch logic-programming formal-specification differentiable-programming signal-temporal-logic
-
Updated
Jun 5, 2024 - Python
[RA-L2023/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.
-
Updated
Oct 17, 2024 - 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
Synthesizing a trace that satisfies a given STL formula [CAV'24]
-
Updated
Nov 25, 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
-
Updated
Sep 2, 2022 - Python
Cyber-Physical Sysems course Exam: PID, Reinforcement Learning and Temporal Logic
-
Updated
Nov 14, 2019 - Python
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
Lightweight Python package for doing operations concerning Assume-Guarantee (A/G) Contracts and parsing, deriving constraints from, and solving Signal Temporal Logic. Built at DesCyPhy Lab, USC
-
Updated
Mar 21, 2020 - Python
Intention-aware control using stochastic expansion methods
formal-methods model-predictive-control polynomial-chaos-expansion signal-temporal-logic formal-methods-in-robotics-and-automation
-
Updated
Sep 7, 2024 - Python
A risk-aware framework for Task Allocation among Stochastic Multi-Agent Systems
formal-methods multi-agent-systems task-allocation model-predictive-control signal-temporal-logic risk-aware-planner risk-aware
-
Updated
Sep 6, 2024 - Python
Quantitative predicative monitoring and adaptive control based on Signal Temporal Logic with uncertainty in Cyber-Physical-System
python monitoring temporal-logic formal-methods adaptive-control cyber-physical-systems signal-temporal-logic stlu
-
Updated
May 20, 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."