Synthesizing a trace that satisfies a given STL formula [CAV'24]

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

This is the official repository for the Evolutionary Computation paper "BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data".

In this repository you can find the code necessary for the required exercise on learning STL formulae.

Intention-aware control using stochastic expansion methods

[RA-L2024/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."

This repository is for the ACC 2023 conference paper titled "Statistical Verification of Traffic Systems with Expected Differential Privacy

Model predictive control (MPC) for a stochastic linear system with runtime signal temporal logic (STL) specifications

[RA-L2023/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.

A risk-aware framework for Task Allocation among Stochastic Multi-Agent Systems

Online Signal Temporal Logic (STL) Monte-Carlo Tree Search for Guided Imitation Learning

Temporal Logic for Learning and Detection of Anomalous behaviours

Splitting signal temporal logic (STL) specifications in time

[RA-L2024/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."

This is the official repository for the Applied Sciences paper "Mining Road Traffic Rules with Signal Temporal Logic and Grammatical Evolution".

An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications

Turn STL formulas into maps and planed paths, control robots with DRL controllers.

Differentiable Symbolic Specification

This repository is for the artifact evaluation of the paper "Online Causation Monitoring of Signal Temporal Logic", accepted by CAV 2023.