Software tools

A partial list of toolboxes which I have led development / mentored development / contributed to / collaborated on to support our research publications. 

verification/testing/monitoring (including neural networks) 

• S-TaLiRo: A Matlab toolbox for falsification, specification mining, monitoring, and conformance testing of Cyber-Physical Systems. 

• PSY-TaLiRo: A Python toolbox for falsification and verification with probabilistic guarantees of Cyber-Physical Systems. 

• STREM: Spatio-Temporal Regular Expression Matcher for perception data-streams (online and offline). 

• TLTk: Fast temporal logic robustness computation through parallelization. 

• StarV: Monitoring and Verification Codesign for Distributed Learning-enabled Cyber-Physical Systems with Star Reachability. 

control and policy synthesis (including neural networks) 

• CBFkit: A Control Barrier Function Toolbox for Robotics Applications 

• NNRepLayer: Safe robot policy learning through neural network repair (imposing input-output constraints  to data-driven systems) 

• SARP: Safety-Aware policy Repair with Predictive models

• ndf-coroco: Neural Distance Functions for Continuum Robot Control

task assignment and planning (in robotics) 

• CommAP: Communication aware planner for human-robot social navigation (and physical experiments codebase).  

• specless: SPECification LEarning and Strategy Synthesis under Partial Timed Order (PTO) specifications

• MRTA-sim: multi-robot task assignment and motion planning simulation platform