Software

Robust Verification of Gene Networks

Automatic Deployment of Robots in 2D and 3D environments

Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

LTL Robust Optimal Multi-Robot Planner

Robot Optimal Planner with ENvironmental-learning

Finite Bisimulations For Switched Linear Systems

LOMAP: LTL Optimal Multi-Agent Planner

LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees

Spatial Temporal Logic

Decision Tree Learning for STL

Control of linear systems from LTL formulas over linear predicates

Reachability analysis of multiaffine systems

Parameter Synthesis for Piecewise Affine Systems
(under development)

Toolset for Optimal Multi-Robot Path Planning Subject to LTL Specifications

Language-Guided Controller Synthesis
Language-Guided Model Predictive Control

Time Constrained Controller Synthesis for Multi-Affine Systems

Temporal Logic Inference

Receding Horizon Temporal Logic Control in Dynamic Environments

Optimal Control of Markov Decision Processes with Temporal Logic Constraints

Time Window Temporal Logic