Abstraction Refinement for Games with Incomplete Information. - Rayna Dimitrova; Bernd Finkbeiner (FSTTCS, 2008)

Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? - Rayna Dimitrova; Andreas Podelski (VMCAI, 2008)

Synthesis of Fault-Tolerant Distributed Systems. - Rayna Dimitrova; Bernd Finkbeiner (ATVA, 2009)

Counterexample-Guided Synthesis of Observation Predicates. - Rayna Dimitrova; Bernd Finkbeiner (FORMATS, 2012)

Monitoring Temporal Information Flow. - Rayna Dimitrova; Bernd Finkbeiner; Markus N. Rabe (ISoLA (1), 2012)

Model Checking Information Flow in Reactive Systems. - Rayna Dimitrova; Bernd Finkbeiner; Máté Kovács; Markus N. Rabe; Helmut Seidl (VMCAI, 2012)

Lossy Channel Games under Incomplete Information - Rayna Dimitrova; Bernd Finkbeiner (SR, 2013)

Abstractions and sensor design in partial-information, reactive controller synthesis. - Jie Fu 002; Rayna Dimitrova; Ufuk Topcu (ACC, 2014)

Deductive control synthesis for alternating-time logics. - Rayna Dimitrova; Rupak Majumdar (EMSOFT, 2014)

Synthesis and control of infinite-state systems with partial observability. - Rayna Dimitrova (2014)

Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. - Rayna Dimitrova; Rupak Majumdar (GandALF, 2015)

Symbolic Model Checking for Factored Probabilistic Models. - David Deininger; Rayna Dimitrova; Rupak Majumdar (ATVA, 2016)

Robust optimal policies for Markov decision processes with safety-threshold constraints. - Rayna Dimitrova; Jie Fu 002; Ufuk Topcu (CDC, 2016)

Probabilistic CTL*: The Deductive Way. - Rayna Dimitrova; Luis María Ferrer Fioriti; Holger Hermanns; Rupak Majumdar (TACAS, 2016)

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. - Rayna Dimitrova; Ivan Gavran; Rupak Majumdar; Vinayak S. Prabhu; Sadegh Esmaeil Zadeh Soudjani (CONCUR, 2017)

Approximate counting in SMT and value estimation for probabilistic programs. - Dmitry Chistikov 001; Rayna Dimitrova; Rupak Majumdar (Acta Informatica, 2017)

Maximum Realizability for Linear Temporal Logic Specifications. - Rayna Dimitrova; Mahsa Ghasemi; Ufuk Topcu (ATVA, 2018)

Distributed Synthesis of Surveillance Strategies for Mobile Sensors. - Suda Bharadwaj; Rayna Dimitrova; Ufuk Topcu (CDC, 2018)

Synthesis of Surveillance Strategies via Belief Abstraction. - Suda Bharadwaj; Rayna Dimitrova; Ufuk Topcu (CDC, 2018)

Causality Analysis for Concurrent Reactive Systems (Extended Abstract). - Rayna Dimitrova; Rupak Majumdar; Vinayak S. Prabhu (CREST@ETAPS, 2018)

Synthesis of Minimum-Cost Shields for Multi-agent Systems. - Suda Bharadwaj; Roderick Bloem; Rayna Dimitrova; Bettina Könighofer; Ufuk Topcu (ACC, 2019)

Approximate Automata for Omega-Regular Languages. - Rayna Dimitrova; Bernd Finkbeiner; Hazem Torfah (ATVA, 2019)

Synthesizing Approximate Implementations for Unrealizable Specifications. - Rayna Dimitrova; Bernd Finkbeiner; Hazem Torfah (CAV (1), 2019)

Probabilistic Hyperproperties of Markov Decision Processes. - Rayna Dimitrova; Bernd Finkbeiner; Hazem Torfah (ATVA, 2020)

Conformance-Based Doping Detection for Cyber-Physical Systems. - Rayna Dimitrova; Maciej Gazda; Mohammad Reza Mousavi 001; Sebastian Biewer; Holger Hermanns (FORTE, 2020)

Near-Optimal Reactive Synthesis Incorporating Runtime Information. - Suda Bharadwaj; Abraham P. Vinod; Rayna Dimitrova; Ufuk Topcu (ICRA, 2020)

Reactive synthesis with maximum realizability of linear temporal logic specifications. - Rayna Dimitrova; Mahsa Ghasemi; Ufuk Topcu (Acta Informatica, 2020)

Reactive Synthesis Beyond Realizability. - Rayna Dimitrova (FMCAD, 2021)

Conformance Relations and Hyperproperties for Doping Detection in Time and Space. - Sebastian Biewer; Rayna Dimitrova; Michael Fries; Maciej Gazda; Thomas Heinze; Holger Hermanns; Mohammad Reza Mousavi 001 (Log. Methods Comput. Sci., 2022)

Synthesis of strategies for autonomous surveillance on adversarial targets. - Suda Bharadwaj; Rayna Dimitrova; Jesse Quattrociocchi; Ufuk Topcu (Robotics Auton. Syst., 2022)

Compositional High-Quality Synthesis. - Rafael Dewes; Rayna Dimitrova (ATVA (1), 2023)

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications. - Philippe Heim; Rayna Dimitrova (TACAS (2), 2023)

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version). - Philippe Heim; Rayna Dimitrova (CoRR, 2023)

Localized Attractor Computations for Infinite-State Games. - Anne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak (CAV (3), 2024)

Localized Attractor Computations for Infinite-State Games (Full Version). - Anne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak (CoRR, 2024)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version). - Philippe Heim; Rayna Dimitrova (CoRR, 2024)

Solving Infinite-State Games via Acceleration. - Philippe Heim; Rayna Dimitrova (Proc. ACM Program. Lang., 2024)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements. - Rafael Dewes; Rayna Dimitrova (AAAI, 2025)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems. - Philippe Heim; Rayna Dimitrova (CAV (4), 2025)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis. - Philippe Heim; Rayna Dimitrova (Proc. ACM Program. Lang., 2025)

Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions. - Saleh Soudijani; Rayna Dimitrova (CoRR, 2025)