Rayna Dimitrova

According to our database, Rayna Dimitrova authored at least 41 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems.

Philippe Heim, Rayna Dimitrova

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements.

Rafael Dewes, Rayna Dimitrova

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Solving Infinite-State Games via Acceleration.

Philippe Heim, Rayna Dimitrova

Proc. ACM Program. Lang., January, 2024

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version).

Philippe Heim, Rayna Dimitrova

CoRR, 2024

Localized Attractor Computations for Infinite-State Games (Full Version).

Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak

CoRR, 2024

Localized Attractor Computations for Infinite-State Games.

Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version).

Philippe Heim, Rayna Dimitrova

CoRR, 2023

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.

Philippe Heim, Rayna Dimitrova

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Compositional High-Quality Synthesis.

Rafael Dewes, Rayna Dimitrova

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Synthesis of strategies for autonomous surveillance on adversarial targets.

Suda Bharadwaj, Rayna Dimitrova, Jesse Quattrociocchi, Ufuk Topcu

Robotics Auton. Syst., 2022

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

Log. Methods Comput. Sci., 2022

2021

Reactive Synthesis Beyond Realizability.

Rayna Dimitrova

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Reactive synthesis with maximum realizability of linear temporal logic specifications.

Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu

Acta Informatica, 2020

Near-Optimal Reactive Synthesis Incorporating Runtime Information.

Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Conformance-Based Doping Detection for Cyber-Physical Systems.

Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

Probabilistic Hyperproperties of Markov Decision Processes.

Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Synthesizing Approximate Implementations for Unrealizable Specifications.

Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Approximate Automata for Omega-Regular Languages.

Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2019

Synthesis of Minimum-Cost Shields for Multi-agent Systems.

Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu

Proceedings of the 2019 American Control Conference, 2019

2018

Causality Analysis for Concurrent Reactive Systems (Extended Abstract).

Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

Reachability analysis of reversal-bounded automata on series-parallel graphs.

Rayna Dimitrova, Rupak Majumdar

Acta Informatica, 2018

Synthesis of Surveillance Strategies via Belief Abstraction.

Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Distributed Synthesis of Surveillance Strategies for Mobile Sensors.

Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Maximum Realizability for Linear Temporal Logic Specifications.

Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Probabilistic CTL^*: The Deductive Way.

Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Robust optimal policies for Markov decision processes with safety-threshold constraints.

Rayna Dimitrova, Jie Fu, Ufuk Topcu

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Symbolic Model Checking for Factored Probabilistic Models.

David Deininger, Rayna Dimitrova, Rupak Majumdar

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Approximate Counting in SMT and Value Estimation for Probabilistic Programs.

Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Synthesis and control of infinite-state systems with partial observability.

Rayna Dimitrova

PhD thesis, 2014

Deductive control synthesis for alternating-time logics.

Rayna Dimitrova, Rupak Majumdar

Proceedings of the 2014 International Conference on Embedded Software, 2014

Abstractions and sensor design in partial-information, reactive controller synthesis.

Jie Fu, Rayna Dimitrova, Ufuk Topcu

Proceedings of the American Control Conference, 2014

2013

Lossy Channel Games under Incomplete Information

Rayna Dimitrova, Bernd Finkbeiner

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

2012

Model Checking Information Flow in Reactive Systems.

Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Monitoring Temporal Information Flow.

Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Counterexample-Guided Synthesis of Observation Predicates.

Rayna Dimitrova, Bernd Finkbeiner

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2009

Synthesis of Fault-Tolerant Distributed Systems.

Rayna Dimitrova, Bernd Finkbeiner

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?

Rayna Dimitrova, Andreas Podelski

Proceedings of the Verification, 2008

Abstraction Refinement for Games with Incomplete Information.

Rayna Dimitrova, Bernd Finkbeiner

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008