2 papers
eess.SY2021
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…
eess.SY2020
Automatic Trajectory Synthesis for Real-Time Temporal Logic
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through contro…