Developed Software Tools
- R. Sanfelice, A Hybrid Systems Simulation Toolbox for Matlab/Simulink (HyEQ), 2021.
- M. Pajic, ARSC – open-source tool for design of attack-resilient supervisory controllers, 2020.
- M. Pajic, CSRL – Control synthesis for LTL objectives via model-free reinforcement learning, 2020.
- M. Pajic, HyperSMC – Statistical model checker for hyper probabilistic temporal logics, 2020.
- M. Pajic, SMCLearning – Statistical model checker for deep-neural-network-based cyber-physical systems, 2020.
- M. Pajic, MPHyper – Symbolic motion planner for HyperLTL objectives, 2020.