( en | de | ru )

 

Disambiguation of "Dimitrova, Rayna"

Author of the publication

copydeleteadd this publication to your clipboard
Solving Infinite-State Games via Acceleration.

, and . Proc. ACM Program. Lang., 8 (POPL): 1696-1726 (January 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rayna Dimitrova

Rayna Georgiewa

Franziska Raynaud-Matheis

Guillaume Raynaud

Benjamin Raynal

 

Other publications of authors with the same name

Synthesis of Minimum-Cost Shields for Multi-agent Systems., , , , and . ACC, page 1048-1055. IEEE, (2019)Conformance Relations and Hyperproperties for Doping Detection in Time and Space., , , , , , and . Log. Methods Comput. Sci., (2022)Conformance-Based Doping Detection for Cyber-Physical Systems., , , , and . FORTE, volume 12136 of Lecture Notes in Computer Science, page 59-77. Springer, (2020)Near-Optimal Reactive Synthesis Incorporating Runtime Information., , , and . ICRA, page 10342-10348. IEEE, (2020)Distributed Synthesis of Surveillance Strategies for Mobile Sensors., , and . CoRR, (2019)Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version)., and . CoRR, (2023)Synthesis of Surveillance Strategies via Belief Abstraction., , and . CDC, page 4159-4166. IEEE, (2018)Causality Analysis for Concurrent Reactive Systems (Extended Abstract)., , and . CREST@ETAPS, volume 286 of EPTCS, page 31-33. (2018)Reactive synthesis with maximum realizability of linear temporal logic specifications., , and . Acta Informatica, 57 (1-2): 107-135 (2020)Approximate Automata for Omega-Regular Languages., , and . CoRR, (2020)