Items where Author is "Dimitrova, Rayna"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 23.

Heim, Philippe and Dimitrova, Rayna
(2024) Solving Infinite-State Games via Acceleration.
In: 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages
(In Press)

Dewes, Rafael and Dimitrova, Rayna
(2023) Compositional High-Quality Synthesis.
In: 21st International Symposium on Automated Technology for Verification and Analysis.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis
(In Press)

Heim, Philippe and Dimitrova, Rayna
(2023) Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.
In: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems
(In Press)

Bharadwaj, Suda and Dimitrova, Rayna and Quattrociocchi, Jesse and Topcu, Ufuk
(2022) Synthesis of Strategies for Autonomous Surveillance on Adversarial Targets.
Robotics and Autonomous Systems, 153. ISSN 0921-8890

Biewer, Sebastian and Dimitrova, Rayna and Fries, Michael and Gazda, Maciej and Heinze, Thomas and Hermanns, Holger and Mousavi, Mohammad Reza
(2022) Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
Logical Methods in Computer Science, 18 (1).

Dimitrova, Rayna
(2021) Reactive Synthesis Beyond Realizability (Invited Tutorial).
UNSPECIFIED, Conference Series: Formal Methods in Computer-Aided Design
.

Dimitrova, Rayna and Finkbeiner, Bernd and Torfah, Hazem
(2020) Probabilistic Hyperproperties of Markov Decision Processes.
In: 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Dimitrova, Rayna and Finkbeiner, Bernd and Torfah, Hazem
(2019) Approximate Automata for Omega-Regular Languages.
In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Dimitrova, Rayna and Finkbeiner, Bernd and Torfah, Hazem
(2019) Synthesizing Approximate Implementations for Unrealizable Specifications.
In: Computer Aided Verification - 31th International Conference, CAV.
Conference: CAV Computer Aided Verification

Chistikov, Dmitry and Dimitrova, Rayna and Majumdar, Rupak
(2017) Approximate counting in SMT and value estimation for probabilistic programs.
Acta Inf., 54 (8). 729–764.

Dimitrova, Rayna and Gavran, Ivan and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017) The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
In: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany.
Conference: CONCUR International Conference on Concurrency Theory

Dimitrova, Rayna and Gavran, Ivan and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017) The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
CoRR, abs/17.

Dimitrova, Rayna and Fioriti, Luis María Ferrer and Hermanns, Holger and Majumdar, Rupak
(2016) Probabilistic CTL*: The Deductive Way.
In: Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16).
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

Deininger, David and Dimitrova, Rayna and Majumdar, Rupak
(2016) Symbolic Model Checking for Factored Probabilistic Models.
In: Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016).
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Chistikov, Dmitry and Dimitrova, Rayna and Majumdar, Rupak
(2015) Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
In: Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15).
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

Dimitrova, Rayna and Majumdar, Rupak
(2015) Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.
In: Proceedings of 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015).

Chistikov, Dmitry and Dimitrova, Rayna and Majumdar, Rupak
(2015) Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings.

Dimitrova, Rayna and Majumdar, Rupak
(2015) Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.
In: Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015..

Dimitrova, Rayna and Majumdar, Rupak
(2014) Deductive control synthesis for alternating-time logics.
In: Proc. of the International Conference on Embedded Software (EMSOFT 2014).
Conference: EMSOFT ACM Conference on Embedded Software

Dimitrova, Rayna and Finkbeiner, Bernd
(2013) Lossy Channel Games under Incomplete Information.
In: Proceedings 1st International Workshop on Strategic Reasoning (SR'13).

Dimitrova, Rayna and Finkbeiner, Bernd
(2012) Counterexample-Guided Synthesis of Observation Predicates.
In: Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12).

Dimitrova, Rayna and Finkbeiner, Bernd and Kovács, Máté and Rabe, Markus N. and Seidl, Helmut
(2012) Model Checking Information Flow in Reactive Systems.
In: Proc. 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).

Dimitrova, Rayna and Finkbeiner, Bernd and Rabe, Markus N.
(2012) Monitoring Temporal Information Flow.
In: Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA).

This list was generated on Fri Apr 19 10:17:02 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.