Rayna Dimitrova

66 papers A* 3A 2B 10C 3Misc 1Journal 27Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Modular Attractor Acceleration in Infinite-State Games (Full Version).
CoRR
Philippe Heim, Rayna Dimitrova
2026 — conf
Modular Attractor Acceleration in Infinite-State Games.
TACAS (1)
Philippe Heim, Rayna Dimitrova
2026 B conf
Reward Interfaces with Best-Effort Implementations.
CSL
Rafael Dewes, Rayna Dimitrova
2025 A* conf
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements.
AAAI
Rafael Dewes, Rayna Dimitrova
2025 — conf
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems.
CAV (4)
Philippe Heim, Rayna Dimitrova
2025 J jnl
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems.
CoRR
Philippe Heim, Rayna Dimitrova
2025 A* conf
Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions.
IJCAI
Saleh Soudijani, Rayna Dimitrova
2025 J jnl
Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions.
CoRR
Saleh Soudijani, Rayna Dimitrova
2025 J jnl
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis.
Proc. ACM Program. Lang.
Philippe Heim, Rayna Dimitrova
2024 J jnl
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements.
CoRR
Rafael Dewes, Rayna Dimitrova
2024 J jnl
Localized Attractor Computations for Infinite-State Games (Full Version).
CoRR
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
2024 — conf
Localized Attractor Computations for Infinite-State Games.
CAV (3)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
2024 J jnl
Solving Infinite-State Games via Acceleration.
Proc. ACM Program. Lang.
Philippe Heim, Rayna Dimitrova
2024 J jnl
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version).
CoRR
Philippe Heim, Rayna Dimitrova
2024 — ed.
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
VMCAI (1)
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
2024 — ed.
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
VMCAI (2)
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
2023 — conf
Compositional High-Quality Synthesis.
ATVA (1)
Rafael Dewes, Rayna Dimitrova
2023 J jnl
Solving Infinite-State Games via Acceleration.
CoRR
Philippe Heim, Rayna Dimitrova
2023 J jnl
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version).
CoRR
Philippe Heim, Rayna Dimitrova
2023 — conf
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.
TACAS (2)
Philippe Heim, Rayna Dimitrova
2022 J jnl
Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
Log. Methods Comput. Sci.
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
2022 — ed.
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
VSTTE
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
2022 J jnl
Synthesis of strategies for autonomous surveillance on adversarial targets.
Robotics Auton. Syst.
Suda Bharadwaj, Rayna Dimitrova, Jesse Quattrociocchi, Ufuk Topcu
2021 B conf
Reactive Synthesis Beyond Realizability.
FMCAD
Rayna Dimitrova
2020 J jnl
Approximate Automata for Omega-Regular Languages.
CoRR
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020 J jnl
Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
CoRR
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
2020 C conf
Conformance-Based Doping Detection for Cyber-Physical Systems.
FORTE
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
2020 A* conf
Near-Optimal Reactive Synthesis Incorporating Runtime Information.
ICRA
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
2020 J jnl
Near-Optimal Reactive Synthesis Incorporating Runtime Information.
CoRR
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
2020 B conf
Probabilistic Hyperproperties of Markov Decision Processes.
ATVA
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020 J jnl
Probabilistic Hyperproperties of Markov Decision Processes.
CoRR
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020 J jnl
Reactive synthesis with maximum realizability of linear temporal logic specifications.
Acta Informatica
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2020 J jnl
Synthesizing Approximate Implementations for Unrealizable Specifications.
CoRR
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2019 B conf
Approximate Automata for Omega-Regular Languages.
ATVA
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2019 J jnl
Distributed Synthesis of Surveillance Strategies for Mobile Sensors.
CoRR
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2019 J jnl
Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications.
CoRR
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2019 C conf
Synthesis of Minimum-Cost Shields for Multi-agent Systems.
ACC
Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
2019 — conf
Synthesizing Approximate Implementations for Unrealizable Specifications.
CAV (1)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2018 — conf
Causality Analysis for Concurrent Reactive Systems (Extended Abstract).
CREST
Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
2018 — conf
Distributed Synthesis of Surveillance Strategies for Mobile Sensors.
CDC
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2018 B conf
Maximum Realizability for Linear Temporal Logic Specifications.
ATVA
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2018 J jnl
Maximum Realizability for Linear Temporal Logic Specifications.
CoRR
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2018 J jnl
Reachability analysis of reversal-bounded automata on series-parallel graphs.
Acta Informatica
Rayna Dimitrova, Rupak Majumdar
2018 — conf
Synthesis of Surveillance Strategies via Belief Abstraction.
CDC
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2017 J jnl
Approximate counting in SMT and value estimation for probabilistic programs.
Acta Informatica
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2017 J jnl
Synthesis of surveillance strategies via belief abstraction.
CoRR
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2017 B conf
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
CONCUR
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
2017 J jnl
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
CoRR
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
2016 A conf
Probabilistic CTL
TACAS
Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
2016 — ed.
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
SYNT@CAV
Ruzica Piskac, Rayna Dimitrova
2016 — conf
Robust optimal policies for Markov decision processes with safety-threshold constraints.
CDC
Rayna Dimitrova, Jie Fu, Ufuk Topcu
2016 B conf
Symbolic Model Checking for Factored Probabilistic Models.
ATVA
David Deininger, Rayna Dimitrova, Rupak Majumdar
2015 A conf
Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
TACAS
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2015 — conf
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.
GandALF
Rayna Dimitrova, Rupak Majumdar
2014 C conf
Abstractions and sensor design in partial-information, reactive controller synthesis.
ACC
Jie Fu, Rayna Dimitrova, Ufuk Topcu
2014 J jnl
Abstractions and sensor design in partial-information, reactive controller synthesis.
CoRR
Jie Fu, Rayna Dimitrova, Ufuk Topcu
2014 J jnl
Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
CoRR
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2014 Misc conf
Deductive control synthesis for alternating-time logics.
EMSOFT
Rayna Dimitrova, Rupak Majumdar
2014 — —
Synthesis and control of infinite-state systems with partial observability.
Rayna Dimitrova
2013 — conf
Lossy Channel Games under Incomplete Information
SR
Rayna Dimitrova, Bernd Finkbeiner
2012 — conf
Counterexample-Guided Synthesis of Observation Predicates.
FORMATS
Rayna Dimitrova, Bernd Finkbeiner
2012 B conf
Model Checking Information Flow in Reactive Systems.
VMCAI
Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
2012 — conf
Monitoring Temporal Information Flow.
ISoLA (1)
Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe
2009 B conf
Synthesis of Fault-Tolerant Distributed Systems.
ATVA
Rayna Dimitrova, Bernd Finkbeiner
2008 — conf
Abstraction Refinement for Games with Incomplete Information.
FSTTCS
Rayna Dimitrova, Bernd Finkbeiner
2008 B conf
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
VMCAI
Rayna Dimitrova, Andreas Podelski