23 citations · 45 across the 6 of their papers we have counts for
3 papers · 1 filter
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.…
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…
Combining Neural Networks and Tree Search for Task and Motion Planning in Challenging Environments
Chris Paxton, Vasumathi Raman, Gregory D. Hager +1
We consider task and motion planning in complex dynamic environments for problems expressed in terms of a set of Linear Temporal Logic (LTL) constraints, and a reward function. We…