Model checking information flow in reactive systems R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl International Workshop on Verification, Model Checking, and Abstract …, 2012 | 71 | 2012 |
Approximate counting in SMT and value estimation for probabilistic programs D Chistikov, R Dimitrova, R Majumdar International Conference on Tools and Algorithms for the Construction and …, 2015 | 61 | 2015 |
Deductive control synthesis for alternating-time logics R Dimitrova, R Majumdar 2014 International Conference on Embedded Software (EMSOFT), 1-10, 2014 | 20 | 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 | 15 | 2018 |
Synthesis of fault-tolerant distributed systems R Dimitrova, B Finkbeiner International Symposium on Automated Technology for Verification and …, 2009 | 15 | 2009 |
Abstraction refinement for games with incomplete information R Dimitrova, B Finkbeiner IARCS Annual Conference on Foundations of Software Technology and …, 2008 | 14 | 2008 |
Abstractions and sensor design in partial-information, reactive controller synthesis J Fu, R Dimitrova, U Topcu 2014 American Control Conference, 2297-2304, 2014 | 10 | 2014 |
Counterexample-guided synthesis of observation predicates R Dimitrova, B Finkbeiner International Conference on Formal Modeling and Analysis of Timed Systems …, 2012 | 10 | 2012 |
Maximum realizability for linear temporal logic specifications R Dimitrova, M Ghasemi, U Topcu International Symposium on Automated Technology for Verification and …, 2018 | 9 | 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 | 8 | 2019 |
Monitoring temporal information flow R Dimitrova, B Finkbeiner, MN Rabe International Symposium On Leveraging Applications of Formal Methods …, 2012 | 8 | 2012 |
Is lazy abstraction a decision procedure for broadcast protocols? R Dimitrova, A Podelski International Workshop on Verification, Model Checking, and Abstract …, 2008 | 8 | 2008 |
Probabilistic CTL: The Deductive Way R Dimitrova, LMF Fioriti, H Hermanns, R Majumdar International Conference on Tools and Algorithms for the Construction and …, 2016 | 7 | 2016 |
Probabilistic hyperproperties of Markov decision processes R Dimitrova, B Finkbeiner, H Torfah International Symposium on Automated Technology for Verification and …, 2020 | 6 | 2020 |
Synthesis of minimum-cost shields for distributed systems S Bharadwaj, R Bloem, R Dimitrova, B Könighofer, U Topcu 2019 Annual American Control Conference, ACC, 10-12, 2019 | 6 | 2019 |
Causality analysis for concurrent reactive systems R Dimitrova, R Majumdar, VS Prabhu arXiv preprint arXiv:1901.00589, 2019 | 6 | 2019 |
Robust optimal policies for Markov decision processes with safety-threshold constraints R Dimitrova, J Fu, U Topcu 2016 IEEE 55th Conference on Decision and Control (CDC), 7081-7086, 2016 | 5 | 2016 |
Synthesizing approximate implementations for unrealizable specifications R Dimitrova, B Finkbeiner, H Torfah International Conference on Computer Aided Verification, 241-258, 2019 | 3 | 2019 |
Distributed synthesis of surveillance strategies for mobile sensors S Bharadwaj, R Dimitrova, U Topcu 2018 IEEE Conference on Decision and Control (CDC), 3335-3342, 2018 | 3 | 2018 |
Reactive synthesis with maximum realizability of linear temporal logic specifications R Dimitrova, M Ghasemi, U Topcu Acta Informatica 57 (1), 107-135, 2020 | 2 | 2020 |