Items where authors include "Dimitrova, R."

Article

Biewer, S., Dimitrova, R., Fries, M. et al. (4 more authors) (2022) Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18 (1). 14. ISSN 1860-5974

Dimitrova, R., Ghasemi, M. and Topcu, U. (2020) Reactive synthesis with maximum realizability of linear temporal logic specifications. Acta Informatica, 57 (1-2). pp. 107-135. ISSN 0001-5903

Dimitrova, R. and Majumdar, R. (2018) Reachability analysis of reversal-bounded automata on series–parallel graphs. Acta Informatica, 55 (2). pp. 153-189. ISSN 0001-5903

Chistikov, D., Dimitrova, R. and Majumdar, R. (2017) Approximate counting in SMT and value estimation for probabilistic programs. Acta Informatica, 54 (8). pp. 729-764. ISSN 0001-5903

Proceedings Paper

Bharadwaj, S., Vinod, A.P., Dimitrova, R. et al. (1 more author) (2020) Near-optimal reactive synthesis incorporating runtime information. In: Proceedings of 2020 IEEE International Conference on Robotics and Automation (ICRA). 2020 IEEE International Conference on Robotics and Automation (ICRA), 31 May - 31 Aug 2020, Paris, France. IEEE , pp. 10342-10348. ISBN 9781728173962

Dimitrova, R., Gazda, M., Mousavi, M.R. et al. (2 more authors) (2020) Conformance-based doping detection for cyber-physical systems. In: Gotsman, A. and Sokolova, A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, 15-19 Jun 2020, Valletta, Malta. Lecture Notes in Computer Science (12136). Springer International Publishing , pp. 59-77. ISBN 9783030500856

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Approximate automata for omega-regular languages. In: Chen, Y.-F., Cheng, C.-H. and Esparza, J., (eds.) Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019. Automated Technology for Verification and Analysis, 28-31 Oct 2019, Taipei, Taiwan. Lecture Notes in Computer Science (11781). Springer , pp. 334-349. ISBN 9783030317836

Bharadwaj, S., Bloem, R., Dimitrova, R. et al. (2 more authors) (2019) Synthesis of minimum-cost shields for multi-agent systems. In: 2019 American Control Conference (ACC). 2019 American Control Conference (ACC), 10-12 Jul 2019, Philadelphia, PA, USA. IEEE , pp. 1048-1055. ISBN 9781538679012

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Synthesizing approximate implementations for unrealizable specifications. In: Dillig, I. and Tasiran, S., (eds.) Computer Aided Verification - 31st International Conference, CAV 2019. Computer Aided Verification, 15-18 Jul 2019, New York City, NY, USA. Lecture Notes in Computer Science, 1 (11561). Springer , pp. 241-258. ISBN 9783030255398

Bharadwaj, S., Dimitrova, R. and Topcu, U. (2019) Distributed synthesis of surveillance strategies for mobile sensors. In: 2018 IEEE Conference on Decision and Control (CDC). 2018 IEEE Conference on Decision and Control (CDC), 17-19 Dec 2018, Miami Beach, FL, USA. IEEE , pp. 3336-3342. ISBN 9781538613962

Bharadwaj, S., Dimitrova, R. and Topcu, U. (2019) Synthesis of surveillance strategies via belief abstraction. In: 2018 IEEE Conference on Decision and Control (CDC). 2018 IEEE Conference on Decision and Control (CDC), 17-19 Dec 2018, Miami Beach, FL, USA. IEEE , pp. 4159-4166. ISBN 9781538613962

Dimitrova, R., Ghasemi, M. and Topcu, U. (2018) Maximum realizability for linear temporal logic specifications. In: Lahiri, S.K. and Wang, C., (eds.) Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018. Automated Technology for Verification and Analysis, 07-10 Oct 2018, Los Angeles, CA, USA. Lecture Notes in Computer Science (11138). Springer , pp. 458-475. ISBN 9783030010898

Dimitrova, R., Gavran, I., Majumdar, R. et al. (2 more authors) (2017) The robot routing problem for collecting aggregate stochastic rewards. In: Meyer, R. and Nestmann, U., (eds.) 28th International Conference on Concurrency Theory (CONCUR 2017). 28th International Conference on Concurrency Theory, 04-09 Sep 2017, Berlin, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 13:1-13:17. ISBN 9783959770484

Dimitrova, R., Fu, J. and Topcu, U. (2016) Robust optimal policies for Markov decision processes with safety-threshold constraints. In: 2016 IEEE 55th Conference on Decision and Control (CDC). 2016 IEEE 55th Conference on Decision and Control (CDC), 12-14 Dec 2016, Las Vegas, NV, USA. IEEE , pp. 7081-7086. ISBN 9781509018383

Deininger, D., Dimitrova, R. and Majumdar, R. (2016) Symbolic model checking for factored probabilistic models. In: Artho, C., Legay, A. and Peled, D., (eds.) Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Automated Technology for Verification and Analysis, 17-20 Oct 2016, Chiba, Japan. Lecture Notes in Computer Science (9938). Springer , pp. 444-460. ISBN 9783319465197

Dimitrova, R., Ferrer Fioriti, L.M., Hermanns, H. et al. (1 more author) (2016) Probabilistic CTL* : the deductive way. In: Chechik, M. and Raskin, J.-F., (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Tools and Algorithms for the Construction and Analysis of Systems, 02-08 Apr 2016, Eindhoven, The Netherlands. Lecture Notes in Computer Science (9636). Springer , pp. 280-296. ISBN 9783662496732

Dimitrova, R. and Majumdar, R. (2015) Reachability analysis of reversal-bounded automata on series-parallel graphs. In: Esparza, J. and Tronci, E., (eds.) Electronic Proceedings in Theoretical Computer Science. 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), 21-22 Sep 2015, Genoa, Italy. Open Publishing Association , pp. 100-114.

Chistikov, D., Dimitrova, R. and Majumdar, R. (2015) Approximate counting in SMT and value estimation for probabilistic programs. In: Baier, C. and Tinelli, C., (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015. Tools and Algorithms for the Construction and Analysis of Systems, 11-18 Apr 2015, London, UK. Lecture Notes in Computer Science (9035). Springer , pp. 320-334. ISBN 9783662466803

Dimitrova, R. and Majumdar, R. (2014) Deductive control synthesis for alternating-time logics. In: Mitra, T. and Reineke, J., (eds.) EMSOFT '14: Proceedings of the 14th International Conference on Embedded Software. ESWEEK'14: Tenth Embedded System Week, 12-17 Oct 2014, New Delhi, India. ACM Digital Library , pp. 1-10. ISBN 9781450330527

Fu, J., Dimitrova, R. and Topcu, U. (2014) Abstractions and sensor design in partial-information, reactive controller synthesis. In: 2014 American Control Conference. American Control Conference - ACC 2014, 04-06 Jun 2014, Portland, OR, USA. IEEE , pp. 2297-2304. ISBN 9781479932726

Dimitrova, R. and Finkbeiner, B. (2013) Lossy channel games under incomplete information. In: Mogavero, F., Murano , A. and Vardi, M.Y., (eds.) Proceedings 1st International Workshop on Strategic Reasoning. 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy. Electronic Proceedings in Theoretical Computer Science (EPTCS) (112). Open Publishing Association , pp. 43-51.

Dimitrova, R., Finkbeiner, B. and Rabe, M.N. (2012) Monitoring temporal information flow. In: Margaria, T. and Steffen, B., (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2012, 15-18 Oct 2012, Heraklion, Crete, Greece. Lecture Notes in Computer Science, 1 (7609). Springer , pp. 342-357. ISBN 9783642340253

Dimitrova, R. and Finkbeiner, B. (2012) Counterexample-guided synthesis of observation predicates. In: Jurdziński, M. and Ničković, D., (eds.) Formal Modeling and Analysis of Timed Systems. Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, 18-20 Sep 2012, London, UK. Lecture Notes in Computer Science (7595). Springer , pp. 107-122. ISBN 9783642333644

Dimitrova, R., Finkbeiner, B., Kovacs, M. et al. (2 more authors) (2012) Model checking information flow in reactive systems. In: Kuncak, V. and Rybalchenko, A., (eds.) Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Verification, Model Checking, and Abstract Interpretation - VMCAI 2012, 22-24 Jan 2012, Philadelphia, PA, USA. Lecture Notes in Computer Science (7148). Springer , pp. 169-185. ISBN 9783642279393

Dimitrova, R. and Finkbeiner, B. (2009) Synthesis of fault-tolerant distributed systems. In: Liu, Z. and Ravn, A.P., (eds.) Automated Technology for Verification and Analysis - ATVA 2009. Automated Technology for Verification and Analysis - ATVA 2009, 14-16 Oct 2009, Macao, China. Lecture Notes in Computer Science (5799). Springer , pp. 321-336. ISBN 9783642047602

Dimitrova, R. and Finkbeiner, B. (2008) Abstraction refinement for games with incomplete information. In: Hariharan, R., Mukund, M. and Vinay, V., (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 09-11 Dec 2008, Bangalore, India. Leibniz International Proceedings in Informatics (LIPIcs), 2 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , pp. 175-186. ISBN 9783939897088

Dimitrova, R. and Podelski, A. (2008) Is lazy abstraction a decision procedure for broadcast protocols? In: Logozzo, F., Peled, D.A. and Zuck, L.D., (eds.) Verification, Model Checking, and Abstract Interpretation - VMCAI 2008. Verification, Model Checking, and Abstract Interpretation - VMCAI 2008, 07-09 Jan 2008, San Francisco, USA. Lecture Notes in Computer Science (4905). Springer , pp. 98-111. ISBN 9783540781622