Rayna Dimitrova

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 37

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games. CAV (3) (2024)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games (Full Version). CoRR (2024)
Philippe Heim, Rayna Dimitrova
Solving Infinite-State Games via Acceleration. Proc. ACM Program. Lang. 8 (POPL) (2024)
Philippe Heim, Rayna Dimitrova
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version). CoRR (2023)
Philippe Heim, Rayna Dimitrova
Solving Infinite-State Games via Acceleration. CoRR (2023)
Rafael Dewes, Rayna Dimitrova
Compositional High-Quality Synthesis. ATVA (1) (2023)
Philippe Heim, Rayna Dimitrova
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications. TACAS (2) (2023)
Suda Bharadwaj, Rayna Dimitrova, Jesse Quattrociocchi, Ufuk Topcu
Synthesis of strategies for autonomous surveillance on adversarial targets. Robotics Auton. Syst. 153 (2022)
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Log. Methods Comput. Sci. 18 (1) (2022)
Rayna Dimitrova
Reactive Synthesis Beyond Realizability. FMCAD (2021)
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE (2020)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Probabilistic Hyperproperties of Markov Decision Processes. CoRR (2020)
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
Near-Optimal Reactive Synthesis Incorporating Runtime Information. ICRA (2020)
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
Near-Optimal Reactive Synthesis Incorporating Runtime Information. CoRR (2020)
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. CoRR (2020)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Probabilistic Hyperproperties of Markov Decision Processes. ATVA (2020)
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
Reactive synthesis with maximum realizability of linear temporal logic specifications. Acta Informatica 57 (1-2) (2020)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Approximate Automata for Omega-Regular Languages. CoRR (2020)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR (2020)
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications. CoRR (2019)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Approximate Automata for Omega-Regular Languages. ATVA (2019)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) (2019)
Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
Synthesis of Minimum-Cost Shields for Multi-agent Systems. ACC (2019)
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
Distributed Synthesis of Surveillance Strategies for Mobile Sensors. CoRR (2019)
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
Distributed Synthesis of Surveillance Strategies for Mobile Sensors. CDC (2018)
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
Maximum Realizability for Linear Temporal Logic Specifications. CoRR (2018)
Rayna Dimitrova, Rupak Majumdar
Reachability analysis of reversal-bounded automata on series-parallel graphs. Acta Informatica 55 (2) (2018)
Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
Causality Analysis for Concurrent Reactive Systems (Extended Abstract). CREST@ETAPS (2018)
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
Synthesis of Surveillance Strategies via Belief Abstraction. CDC (2018)
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
Maximum Realizability for Linear Temporal Logic Specifications. ATVA (2018)
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CoRR (2017)
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
Approximate counting in SMT and value estimation for probabilistic programs. Acta Informatica 54 (8) (2017)
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CONCUR (2017)
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
Synthesis of surveillance strategies via belief abstraction. CoRR (2017)
Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
: The Deductive Way. TACAS (2016)
David Deininger, Rayna Dimitrova, Rupak Majumdar
Symbolic Model Checking for Factored Probabilistic Models. ATVA (2016)
Rayna Dimitrova, Jie Fu, Ufuk Topcu
Robust optimal policies for Markov decision processes with safety-threshold constraints. CDC (2016)
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. TACAS (2015)
Rayna Dimitrova, Rupak Majumdar
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. GandALF (2015)
Jie Fu, Rayna Dimitrova, Ufuk Topcu
Abstractions and sensor design in partial-information, reactive controller synthesis. ACC (2014)
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. CoRR (2014)
Rayna Dimitrova, Rupak Majumdar
Deductive control synthesis for alternating-time logics. EMSOFT (2014)
Jie Fu, Rayna Dimitrova, Ufuk Topcu
Abstractions and sensor design in partial-information, reactive controller synthesis. CoRR (2014)
Rayna Dimitrova, Bernd Finkbeiner
Lossy Channel Games under Incomplete Information SR (2013)
Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe
Monitoring Temporal Information Flow. ISoLA (1) (2012)
Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
Model Checking Information Flow in Reactive Systems. VMCAI (2012)
Rayna Dimitrova, Bernd Finkbeiner
Counterexample-Guided Synthesis of Observation Predicates. FORMATS (2012)
Rayna Dimitrova, Bernd Finkbeiner
Synthesis of Fault-Tolerant Distributed Systems. ATVA (2009)
Rayna Dimitrova, Andreas Podelski
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? VMCAI (2008)
Rayna Dimitrova, Bernd Finkbeiner
Abstraction Refinement for Games with Incomplete Information. FSTTCS (2008)

Rayna Dimitrova.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rayna Dimitrova