Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Rayna Dimitrova

Near-Optimal Reactive Synthesis Incorporating Runtime Information


Jul 31, 2020
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu

* Presented at ICRA2020 

  Access Paper or Ask Questions

Distributed Synthesis of Surveillance Strategies for Mobile Sensors


Feb 06, 2019
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu

* 2018 IEEE Conference on Decision and Control (CDC), FL, USA, 2018, pp. 3335-3342 

  Access Paper or Ask Questions

Synthesis of surveillance strategies via belief abstraction


Mar 19, 2018
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu


  Access Paper or Ask Questions

Approximate Counting in SMT and Value Estimation for Probabilistic Programs


Oct 29, 2015
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar


  Access Paper or Ask Questions