BibTeX records: Rayna Dimitrova

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics