Rayna Dimitrova

Identifiers

• name variant Rayna Dimitrova 0.60 · backfill

Papers (8)

1. Distributed Synthesis of Surveillance Strategies for Mobile Sensors cs.AI · 2019 · author #2
2. Maximum Realizability for Linear Temporal Logic Specifications cs.LO · 2018 · author #1
3. Synthesis of surveillance strategies via belief abstraction cs.RO · 2017 · author #2
4. The Robot Routing Problem for Collecting Aggregate Stochastic Rewards cs.SY · 2017 · author #1
5. Proceedings Fifth Workshop on Synthesis cs.LO · 2016 · author #2
6. Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs cs.FL · 2015 · author #1
7. Approximate Counting in SMT and Value Estimation for Probabilistic Programs cs.LO · 2014 · author #2
8. Abstractions and sensor design in partial-information, reactive controller synthesis cs.SY · 2014 · author #2

Mentions

• 1411.0659 #2 · backfill · confidence 0.70 Rayna Dimitrova
• 1405.1630 #2 · backfill · confidence 0.70 Rayna Dimitrova

Frequent Coauthors

• Ufuk Topcu 4 shared papers
• Rupak Majumdar 3 shared papers
• Suda Bharadwaj 2 shared papers
• Dmitry Chistikov 1 shared papers
• Ivan Gavran 1 shared papers
• Jie Fu 1 shared papers
• Mahsa Ghasemi 1 shared papers
• Ruzica Piskac 1 shared papers
• Sadegh Esmaeil Zadeh Soudjani 1 shared papers
• Vinayak S. Prabhu 1 shared papers