Rayna Dimitrova
Title
Cited by
Cited by
Year
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
642012
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
562015
Deductive control synthesis for alternating-time logics
R Dimitrova, R Majumdar
2014 International Conference on Embedded Software (EMSOFT), 1-10, 2014
172014
Synthesis of fault-tolerant distributed systems
R Dimitrova, B Finkbeiner
International Symposium on Automated Technology for Verification and …, 2009
162009
Abstraction refinement for games with incomplete information
R Dimitrova, B Finkbeiner
IARCS Annual Conference on Foundations of Software Technology and …, 2008
142008
Synthesis of surveillance strategies via belief abstraction
S Bharadwaj, R Dimitrova, U Topcu
2018 IEEE Conference on Decision and Control (CDC), 4159-4166, 2018
112018
Abstractions and sensor design in partial-information, reactive controller synthesis
J Fu, R Dimitrova, U Topcu
2014 American Control Conference, 2297-2304, 2014
102014
Counterexample-guided synthesis of observation predicates
R Dimitrova, B Finkbeiner
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
92012
Monitoring temporal information flow
R Dimitrova, B Finkbeiner, MN Rabe
International Symposium On Leveraging Applications of Formal Methods …, 2012
82012
Is lazy abstraction a decision procedure for broadcast protocols?
R Dimitrova, A Podelski
International Workshop on Verification, Model Checking, and Abstract …, 2008
82008
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
72019
Maximum realizability for linear temporal logic specifications
R Dimitrova, M Ghasemi, U Topcu
International Symposium on Automated Technology for Verification and …, 2018
52018
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
52016
Probabilistic CTL: The Deductive Way
R Dimitrova, LMF Fioriti, H Hermanns, R Majumdar
International Conference on Tools and Algorithms for the Construction and …, 2016
52016
Causality Analysis for Concurrent Reactive Systems
R Dimitrova, R Majumdar, VS Prabhu
arXiv preprint arXiv:1901.00589, 2019
42019
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
42018
Reachability analysis of reversal-bounded automata on series-parallel graphs
R Dimitrova, R Majumdar
arXiv preprint arXiv:1509.07202, 2015
32015
Synthesizing approximate implementations for unrealizable specifications
R Dimitrova, B Finkbeiner, H Torfah
International Conference on Computer Aided Verification, 241-258, 2019
22019
Symbolic Model Checking for Factored Probabilistic Models
D Deininger, R Dimitrova, R Majumdar
International Symposium on Automated Technology for Verification and …, 2016
22016
Lossy Channel Games under Incomplete Information
R Dimitrova, B Finkbeiner
arXiv preprint arXiv:1303.0790, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20