| Approximate counting in SMT and value estimation for probabilistic programs D Chistikov, R Dimitrova, R Majumdar Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 98 | 2015 |
| Model checking information flow in reactive systems R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 92 | 2012 |
| Probabilistic hyperproperties of Markov decision processes R Dimitrova, B Finkbeiner, H Torfah International Symposium on Automated Technology for Verification and …, 2020 | 37 | 2020 |
| Deductive control synthesis for alternating-time logics R Dimitrova, R Majumdar Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014 | 35 | 2014 |
| Synthesis of surveillance strategies via belief abstraction S Bharadwaj, R Dimitrova, U Topcu 2018 IEEE Conference on Decision and Control (CDC), 4159-4166, 2018 | 31 | 2018 |
| Synthesis of minimum-cost shields for multi-agent systems S Bharadwaj, R Bloem, R Dimitrova, B Konighofer, U Topcu 2019 American Control Conference (ACC), 1048-1055, 2019 | 25 | 2019 |
| Maximum realizability for linear temporal logic specifications R Dimitrova, M Ghasemi, U Topcu Automated Technology for Verification and Analysis: 16th International …, 2018 | 24 | 2018 |
| Abstraction refinement for games with incomplete information R Dimitrova, B Finkbeiner IARCS Annual Conference on Foundations of Software Technology and …, 2008 | 20 | 2008 |
| Synthesis of fault-tolerant distributed systems R Dimitrova, B Finkbeiner International Symposium on Automated Technology for Verification and …, 2009 | 18 | 2009 |
| Reactive synthesis with maximum realizability of linear temporal logic specifications R Dimitrova, M Ghasemi, U Topcu Acta Informatica 57, 107-135, 2020 | 14 | 2020 |
| Abstractions and sensor design in partial-information, reactive controller synthesis J Fu, R Dimitrova, U Topcu 2014 American Control Conference, 2297-2304, 2014 | 13 | 2014 |
| Probabilistic CTL: the deductive way R Dimitrova, LM Ferrer Fioriti, H Hermanns, R Majumdar International Conference on Tools and Algorithms for the Construction and …, 2016 | 12 | 2016 |
| Counterexample-guided synthesis of observation predicates R Dimitrova, B Finkbeiner International Conference on Formal Modeling and Analysis of Timed Systems …, 2012 | 12 | 2012 |
| Solving infinite-state games via acceleration P Heim, R Dimitrova Proceedings of the ACM on Programming Languages 8 (POPL), 1696-1726, 2024 | 10 | 2024 |
| Monitoring temporal information flow R Dimitrova, B Finkbeiner, MN Rabe Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 10 | 2012 |
| Is lazy abstraction a decision procedure for broadcast protocols? R Dimitrova, A Podelski International Workshop on Verification, Model Checking, and Abstract …, 2008 | 9 | 2008 |
| Conformance relations and hyperproperties for doping detection in time and space S Biewer, R Dimitrova, M Fries, M Gazda, T Heinze, H Hermanns, ... Logical Methods in Computer Science 18, 2022 | 8 | 2022 |
| Causality analysis for concurrent reactive systems R Dimitrova, R Majumdar, VS Prabhu arXiv preprint arXiv:1901.00589, 2019 | 8 | 2019 |
| Synthesizing approximate implementations for unrealizable specifications R Dimitrova, B Finkbeiner, H Torfah Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 8 | 2019 |
| Conformance-based doping detection for cyber-physical systems R Dimitrova, M Gazda, MR Mousavi, S Biewer, H Hermanns International Conference on Formal Techniques for Distributed Objects …, 2020 | 6 | 2020 |