235 citations · 531 across the 38 of their papers we have counts for
4 papers · 1 filter
Systematic Testing of Convolutional Neural Networks for Autonomous Driving
Tommaso Dreossi, Shromona Ghosh, Alberto Sangiovanni-Vincentelli +1
We present a framework to systematically analyze convolutional neural networks (CNNs) used in classification of cars in autonomous vehicles. Our analysis procedure comprises an ima…
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman +2
We address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs.…
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements
Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli +2
We develop an assume-guarantee contract framework for the design of cyber-physical systems, modeled as closed-loop control systems, under probabilistic requirements. We use a varia…
Model Predictive Control for Signal Temporal Logic Specification
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy +3
We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use…