Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Rayna Dimitrova
@article{DBLP:journals/pacmpl/HeimD24, author = {Philippe Heim and Rayna Dimitrova}, title = {Solving Infinite-State Games via Acceleration}, journal = {Proc. {ACM} Program. Lang.}, volume = {8}, number = {{POPL}}, pages = {1696--1726}, year = {2024}, url = {https://doi.org/10.1145/3632899}, doi = {10.1145/3632899}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/HeimD24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2024-1, editor = {Rayna Dimitrova and Ori Lahav and Sebastian Wolff}, title = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14499}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-50524-9}, doi = {10.1007/978-3-031-50524-9}, isbn = {978-3-031-50523-2}, timestamp = {Sun, 14 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/2024-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2024-2, editor = {Rayna Dimitrova and Ori Lahav and Sebastian Wolff}, title = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14500}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-50521-8}, doi = {10.1007/978-3-031-50521-8}, isbn = {978-3-031-50520-1}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/2024-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DewesD23, author = {Rafael Dewes and Rayna Dimitrova}, editor = {{\'{E}}tienne Andr{\'{e}} and Jun Sun}, title = {Compositional High-Quality Synthesis}, booktitle = {Automated Technology for Verification and Analysis - 21st International Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14215}, pages = {334--354}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45329-8\_16}, doi = {10.1007/978-3-031-45329-8\_16}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/DewesD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HeimD23, author = {Philippe Heim and Rayna Dimitrova}, editor = {Sriram Sankaranarayanan and Natasha Sharygina}, title = {Taming Large Bounds in Synthesis from Bounded-Liveness Specifications}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13994}, pages = {251--269}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30820-8\_17}, doi = {10.1007/978-3-031-30820-8\_17}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/HeimD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-10032, author = {Philippe Heim and Rayna Dimitrova}, title = {Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version)}, journal = {CoRR}, volume = {abs/2301.10032}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.10032}, doi = {10.48550/ARXIV.2301.10032}, eprinttype = {arXiv}, eprint = {2301.10032}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-10032.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-16118, author = {Philippe Heim and Rayna Dimitrova}, title = {Solving Infinite-State Games via Acceleration}, journal = {CoRR}, volume = {abs/2305.16118}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.16118}, doi = {10.48550/ARXIV.2305.16118}, eprinttype = {arXiv}, eprint = {2305.16118}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-16118.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BiewerDFGHHM22, author = {Sebastian Biewer and Rayna Dimitrova and Michael Fries and Maciej Gazda and Thomas Heinze and Holger Hermanns and Mohammad Reza Mousavi}, title = {Conformance Relations and Hyperproperties for Doping Detection in Time and Space}, journal = {Log. Methods Comput. Sci.}, volume = {18}, number = {1}, year = {2022}, url = {https://doi.org/10.46298/lmcs-18(1:14)2022}, doi = {10.46298/LMCS-18(1:14)2022}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BiewerDFGHHM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ras/BharadwajDQT22, author = {Suda Bharadwaj and Rayna Dimitrova and Jesse Quattrociocchi and Ufuk Topcu}, title = {Synthesis of strategies for autonomous surveillance on adversarial targets}, journal = {Robotics Auton. Syst.}, volume = {153}, pages = {104084}, year = {2022}, url = {https://doi.org/10.1016/j.robot.2022.104084}, doi = {10.1016/J.ROBOT.2022.104084}, timestamp = {Thu, 02 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ras/BharadwajDQT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vstte/2021, editor = {Roderick Bloem and Rayna Dimitrova and Chuchu Fan and Natasha Sharygina}, title = {Software Verification - 13th International Conference, {VSTTE} 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, {NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13124}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-95561-8}, doi = {10.1007/978-3-030-95561-8}, isbn = {978-3-030-95560-1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/Dimitrova21, author = {Rayna Dimitrova}, title = {Reactive Synthesis Beyond Realizability}, booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven, CT, USA, October 19-22, 2021}, pages = {1}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_1}, doi = {10.34727/2021/ISBN.978-3-85448-046-4\_1}, timestamp = {Tue, 07 Dec 2021 17:02:16 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/Dimitrova21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/DimitrovaGT20, author = {Rayna Dimitrova and Mahsa Ghasemi and Ufuk Topcu}, title = {Reactive synthesis with maximum realizability of linear temporal logic specifications}, journal = {Acta Informatica}, volume = {57}, number = {1-2}, pages = {107--135}, year = {2020}, url = {https://doi.org/10.1007/s00236-019-00348-4}, doi = {10.1007/S00236-019-00348-4}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/DimitrovaGT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DimitrovaFT20, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, editor = {Dang Van Hung and Oleg Sokolsky}, title = {Probabilistic Hyperproperties of Markov Decision Processes}, booktitle = {Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12302}, pages = {484--500}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-59152-6\_27}, doi = {10.1007/978-3-030-59152-6\_27}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/DimitrovaFT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DimitrovaGMBH20, author = {Rayna Dimitrova and Maciej Gazda and Mohammad Reza Mousavi and Sebastian Biewer and Holger Hermanns}, editor = {Alexey Gotsman and Ana Sokolova}, title = {Conformance-Based Doping Detection for Cyber-Physical Systems}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12136}, pages = {59--77}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-50086-3\_4}, doi = {10.1007/978-3-030-50086-3\_4}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/DimitrovaGMBH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/BharadwajVDT20, author = {Suda Bharadwaj and Abraham P. Vinod and Rayna Dimitrova and Ufuk Topcu}, title = {Near-Optimal Reactive Synthesis Incorporating Runtime Information}, booktitle = {2020 {IEEE} International Conference on Robotics and Automation, {ICRA} 2020, Paris, France, May 31 - August 31, 2020}, pages = {10342--10348}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICRA40945.2020.9196581}, doi = {10.1109/ICRA40945.2020.9196581}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icra/BharadwajVDT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-03362, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, title = {Probabilistic Hyperproperties of Markov Decision Processes}, journal = {CoRR}, volume = {abs/2005.03362}, year = {2020}, url = {https://arxiv.org/abs/2005.03362}, eprinttype = {arXiv}, eprint = {2005.03362}, timestamp = {Sat, 09 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-03362.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-16107, author = {Suda Bharadwaj and Abraham P. Vinod and Rayna Dimitrova and Ufuk Topcu}, title = {Near-Optimal Reactive Synthesis Incorporating Runtime Information}, journal = {CoRR}, volume = {abs/2007.16107}, year = {2020}, url = {https://arxiv.org/abs/2007.16107}, eprinttype = {arXiv}, eprint = {2007.16107}, timestamp = {Mon, 03 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-16107.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-03910, author = {Sebastian Biewer and Rayna Dimitrova and Michael Fries and Maciej Gazda and Thomas Heinze and Holger Hermanns and Mohammad Reza Mousavi}, title = {Conformance Relations and Hyperproperties for Doping Detection in Time and Space}, journal = {CoRR}, volume = {abs/2012.03910}, year = {2020}, url = {https://arxiv.org/abs/2012.03910}, eprinttype = {arXiv}, eprint = {2012.03910}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-03910.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-14590, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, title = {Approximate Automata for Omega-Regular Languages}, journal = {CoRR}, volume = {abs/2012.14590}, year = {2020}, url = {https://arxiv.org/abs/2012.14590}, eprinttype = {arXiv}, eprint = {2012.14590}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-14590.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-14592, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, title = {Synthesizing Approximate Implementations for Unrealizable Specifications}, journal = {CoRR}, volume = {abs/2012.14592}, year = {2020}, url = {https://arxiv.org/abs/2012.14592}, eprinttype = {arXiv}, eprint = {2012.14592}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-14592.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/BharadwajBDKT19, author = {Suda Bharadwaj and Roderick Bloem and Rayna Dimitrova and Bettina K{\"{o}}nighofer and Ufuk Topcu}, title = {Synthesis of Minimum-Cost Shields for Multi-agent Systems}, booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA, July 10-12, 2019}, pages = {1048--1055}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.23919/ACC.2019.8815233}, doi = {10.23919/ACC.2019.8815233}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amcc/BharadwajBDKT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DimitrovaFT19, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, editor = {Yu{-}Fang Chen and Chih{-}Hong Cheng and Javier Esparza}, title = {Approximate Automata for Omega-Regular Languages}, booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11781}, pages = {334--349}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31784-3\_19}, doi = {10.1007/978-3-030-31784-3\_19}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/DimitrovaFT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/DimitrovaFT19, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, editor = {Isil Dillig and Serdar Tasiran}, title = {Synthesizing Approximate Implementations for Unrealizable Specifications}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11561}, pages = {241--258}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25540-4\_13}, doi = {10.1007/978-3-030-25540-4\_13}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/DimitrovaFT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-02393, author = {Suda Bharadwaj and Rayna Dimitrova and Ufuk Topcu}, title = {Distributed Synthesis of Surveillance Strategies for Mobile Sensors}, journal = {CoRR}, volume = {abs/1902.02393}, year = {2019}, url = {http://arxiv.org/abs/1902.02393}, eprinttype = {arXiv}, eprint = {1902.02393}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-02393.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-02561, author = {Rayna Dimitrova and Mahsa Ghasemi and Ufuk Topcu}, title = {Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications}, journal = {CoRR}, volume = {abs/1910.02561}, year = {2019}, url = {http://arxiv.org/abs/1910.02561}, eprinttype = {arXiv}, eprint = {1910.02561}, timestamp = {Wed, 09 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-02561.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/DimitrovaM18, author = {Rayna Dimitrova and Rupak Majumdar}, title = {Reachability analysis of reversal-bounded automata on series-parallel graphs}, journal = {Acta Informatica}, volume = {55}, number = {2}, pages = {153--189}, year = {2018}, url = {https://doi.org/10.1007/s00236-016-0290-1}, doi = {10.1007/S00236-016-0290-1}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/DimitrovaM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DimitrovaGT18, author = {Rayna Dimitrova and Mahsa Ghasemi and Ufuk Topcu}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Maximum Realizability for Linear Temporal Logic Specifications}, booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11138}, pages = {458--475}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-01090-4\_27}, doi = {10.1007/978-3-030-01090-4\_27}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/DimitrovaGT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/BharadwajDT18, author = {Suda Bharadwaj and Rayna Dimitrova and Ufuk Topcu}, title = {Distributed Synthesis of Surveillance Strategies for Mobile Sensors}, booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami, FL, USA, December 17-19, 2018}, pages = {3335--3342}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/CDC.2018.8619145}, doi = {10.1109/CDC.2018.8619145}, timestamp = {Fri, 04 Mar 2022 13:30:11 +0100}, biburl = {https://dblp.org/rec/conf/cdc/BharadwajDT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/BharadwajDT18a, author = {Suda Bharadwaj and Rayna Dimitrova and Ufuk Topcu}, title = {Synthesis of Surveillance Strategies via Belief Abstraction}, booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami, FL, USA, December 17-19, 2018}, pages = {4159--4166}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/CDC.2018.8619353}, doi = {10.1109/CDC.2018.8619353}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/BharadwajDT18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1901-00589, author = {Rayna Dimitrova and Rupak Majumdar and Vinayak S. Prabhu}, editor = {Bernd Finkbeiner and Samantha Kleinberg}, title = {Causality Analysis for Concurrent Reactive Systems (Extended Abstract)}, booktitle = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018}, series = {{EPTCS}}, volume = {286}, pages = {31--33}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.286.3}, doi = {10.4204/EPTCS.286.3}, timestamp = {Mon, 04 Feb 2019 17:20:39 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-00589.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-00415, author = {Rayna Dimitrova and Mahsa Ghasemi and Ufuk Topcu}, title = {Maximum Realizability for Linear Temporal Logic Specifications}, journal = {CoRR}, volume = {abs/1804.00415}, year = {2018}, url = {http://arxiv.org/abs/1804.00415}, eprinttype = {arXiv}, eprint = {1804.00415}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-00415.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/ChistikovDM17, author = {Dmitry Chistikov and Rayna Dimitrova and Rupak Majumdar}, title = {Approximate counting in {SMT} and value estimation for probabilistic programs}, journal = {Acta Informatica}, volume = {54}, number = {8}, pages = {729--764}, year = {2017}, url = {https://doi.org/10.1007/s00236-017-0297-2}, doi = {10.1007/S00236-017-0297-2}, timestamp = {Sat, 26 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acta/ChistikovDM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/DimitrovaGMPS17, author = {Rayna Dimitrova and Ivan Gavran and Rupak Majumdar and Vinayak S. Prabhu and Sadegh Esmaeil Zadeh Soudjani}, editor = {Roland Meyer and Uwe Nestmann}, title = {The Robot Routing Problem for Collecting Aggregate Stochastic Rewards}, booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017, September 5-8, 2017, Berlin, Germany}, series = {LIPIcs}, volume = {85}, pages = {13:1--13:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.13}, doi = {10.4230/LIPICS.CONCUR.2017.13}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/concur/DimitrovaGMPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DimitrovaGMPS17, author = {Rayna Dimitrova and Ivan Gavran and Rupak Majumdar and Vinayak S. Prabhu and Sadegh Esmaeil Zadeh Soudjani}, title = {The Robot Routing Problem for Collecting Aggregate Stochastic Rewards}, journal = {CoRR}, volume = {abs/1704.05303}, year = {2017}, url = {http://arxiv.org/abs/1704.05303}, eprinttype = {arXiv}, eprint = {1704.05303}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DimitrovaGMPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-05363, author = {Suda Bharadwaj and Rayna Dimitrova and Ufuk Topcu}, title = {Synthesis of surveillance strategies via belief abstraction}, journal = {CoRR}, volume = {abs/1709.05363}, year = {2017}, url = {http://arxiv.org/abs/1709.05363}, eprinttype = {arXiv}, eprint = {1709.05363}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-05363.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DeiningerDM16, author = {David Deininger and Rayna Dimitrova and Rupak Majumdar}, editor = {Cyrille Artho and Axel Legay and Doron Peled}, title = {Symbolic Model Checking for Factored Probabilistic Models}, booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9938}, pages = {444--460}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46520-3\_28}, doi = {10.1007/978-3-319-46520-3\_28}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/DeiningerDM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/DimitrovaFT16, author = {Rayna Dimitrova and Jie Fu and Ufuk Topcu}, title = {Robust optimal policies for Markov decision processes with safety-threshold constraints}, booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas, NV, USA, December 12-14, 2016}, pages = {7081--7086}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/CDC.2016.7799360}, doi = {10.1109/CDC.2016.7799360}, timestamp = {Fri, 04 Mar 2022 13:29:43 +0100}, biburl = {https://dblp.org/rec/conf/cdc/DimitrovaFT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/DimitrovaFHM16, author = {Rayna Dimitrova and Luis Mar{\'{\i}}a Ferrer Fioriti and Holger Hermanns and Rupak Majumdar}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {Probabilistic CTL\({}^{\mbox{*}}\): The Deductive Way}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {280--296}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_16}, doi = {10.1007/978-3-662-49674-9\_16}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/DimitrovaFHM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/PiskacD16, editor = {Ruzica Piskac and Rayna Dimitrova}, title = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016}, series = {{EPTCS}}, volume = {229}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.229}, doi = {10.4204/EPTCS.229}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PiskacD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChistikovDM15, author = {Dmitry Chistikov and Rayna Dimitrova and Rupak Majumdar}, editor = {Christel Baier and Cesare Tinelli}, title = {Approximate Counting in {SMT} and Value Estimation for Probabilistic Programs}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {9035}, pages = {320--334}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_26}, doi = {10.1007/978-3-662-46681-0\_26}, timestamp = {Sat, 30 Sep 2023 09:57:43 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ChistikovDM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DimitrovaM15, author = {Rayna Dimitrova and Rupak Majumdar}, editor = {Javier Esparza and Enrico Tronci}, title = {Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs}, booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015}, series = {{EPTCS}}, volume = {193}, pages = {100--114}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.193.8}, doi = {10.4204/EPTCS.193.8}, timestamp = {Fri, 09 Apr 2021 18:27:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/DimitrovaM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Dimitrova14, author = {Rayna Dimitrova}, title = {Synthesis and control of infinite-state systems with partial observability}, school = {Saarland University}, year = {2014}, url = {http://scidok.sulb.uni-saarland.de/volltexte/2014/5946/}, urn = {urn:nbn:de:bsz:291-scidok-59467}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Dimitrova14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/FuDT14, author = {Jie Fu and Rayna Dimitrova and Ufuk Topcu}, title = {Abstractions and sensor design in partial-information, reactive controller synthesis}, booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6, 2014}, pages = {2297--2304}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ACC.2014.6859309}, doi = {10.1109/ACC.2014.6859309}, timestamp = {Sun, 08 Aug 2021 01:40:57 +0200}, biburl = {https://dblp.org/rec/conf/amcc/FuDT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/DimitrovaM14, author = {Rayna Dimitrova and Rupak Majumdar}, editor = {Tulika Mitra and Jan Reineke}, title = {Deductive control synthesis for alternating-time logics}, booktitle = {2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014}, pages = {14:1--14:10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2656045.2656054}, doi = {10.1145/2656045.2656054}, timestamp = {Wed, 04 Jan 2023 16:50:45 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/DimitrovaM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FuDT14, author = {Jie Fu and Rayna Dimitrova and Ufuk Topcu}, title = {Abstractions and sensor design in partial-information, reactive controller synthesis}, journal = {CoRR}, volume = {abs/1405.1630}, year = {2014}, url = {http://arxiv.org/abs/1405.1630}, eprinttype = {arXiv}, eprint = {1405.1630}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FuDT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChistikovDM14, author = {Dmitry Chistikov and Rayna Dimitrova and Rupak Majumdar}, title = {Approximate Counting in {SMT} and Value Estimation for Probabilistic Programs}, journal = {CoRR}, volume = {abs/1411.0659}, year = {2014}, url = {http://arxiv.org/abs/1411.0659}, eprinttype = {arXiv}, eprint = {1411.0659}, timestamp = {Sat, 26 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ChistikovDM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1303-0790, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Fabio Mogavero and Aniello Murano and Moshe Y. Vardi}, title = {Lossy Channel Games under Incomplete Information}, booktitle = {Proceedings 1st International Workshop on Strategic Reasoning, {SR} 2013, Rome, Italy, March 16-17, 2013}, series = {{EPTCS}}, volume = {112}, pages = {43--51}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.112.9}, doi = {10.4204/EPTCS.112.9}, timestamp = {Sat, 30 Sep 2023 10:08:06 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1303-0790.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/DimitrovaF12, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Marcin Jurdzinski and Dejan Nickovic}, title = {Counterexample-Guided Synthesis of Observation Predicates}, booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7595}, pages = {107--122}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33365-1\_9}, doi = {10.1007/978-3-642-33365-1\_9}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/formats/DimitrovaF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/DimitrovaFR12, author = {Rayna Dimitrova and Bernd Finkbeiner and Markus N. Rabe}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Monitoring Temporal Information Flow}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {7609}, pages = {342--357}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34026-0\_26}, doi = {10.1007/978-3-642-34026-0\_26}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/DimitrovaFR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/DimitrovaFKRS12, author = {Rayna Dimitrova and Bernd Finkbeiner and M{\'{a}}t{\'{e}} Kov{\'{a}}cs and Markus N. Rabe and Helmut Seidl}, editor = {Viktor Kuncak and Andrey Rybalchenko}, title = {Model Checking Information Flow in Reactive Systems}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7148}, pages = {169--185}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27940-9\_12}, doi = {10.1007/978-3-642-27940-9\_12}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/DimitrovaFKRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DimitrovaF09, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Synthesis of Fault-Tolerant Distributed Systems}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {321--336}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_24}, doi = {10.1007/978-3-642-04761-9\_24}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/DimitrovaF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/DimitrovaF08, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay}, title = {Abstraction Refinement for Games with Incomplete Information}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008, Bangalore, India}, series = {LIPIcs}, volume = {2}, pages = {175--186}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2008}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1751}, doi = {10.4230/LIPICS.FSTTCS.2008.1751}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/DimitrovaF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/DimitrovaP08, author = {Rayna Dimitrova and Andreas Podelski}, editor = {Francesco Logozzo and Doron A. Peled and Lenore D. Zuck}, title = {Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4905}, pages = {98--111}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78163-9\_12}, doi = {10.1007/978-3-540-78163-9\_12}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/DimitrovaP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.