Vasumathi Raman

Available identifiers

zbMath Open raman.vasumathiMaRDI QIDQ682355

List of research outcomes

Publication	Date of Publication	Type
On Optimal Control of Stochastic Linear Hybrid Systems	2018-02-16	Paper
Safe autonomy under perception uncertainty using chance-constrained temporal logic	2018-02-02	Paper
Synthesis of obfuscation policies to ensure privacy and utility	2018-02-02	Paper
Reactive synthesis from signal temporal logic specifications	2017-05-19	Paper
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications	2017-05-19	Paper

Research outcomes over time

This page was built for person: Vasumathi Raman