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
