no code implementations • 4 Nov 2021 • Rafael Rodrigues da Silva, Kunal Yadav, Hai Lin
This paper describes a Python toolbox for active perception and control synthesis of probabilistic signal temporal logic (PrSTL) formulas of switched linear systems with additive Gaussian disturbances and measurement noises.