idSTLPy: A Python Toolbox for Active Perception and Control

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 G…