Natarajan Shankar

Latest

• Model-Centered Assurance for Autonomous Systems
• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems