( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.

, и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 251-269. Springer, (2023)

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.

Rayna Dimitrova

Rayna Georgiewa

Franziska Raynaud-Matheis

Guillaume Raynaud

Benjamin Raynal

 

Другие публикации лиц с тем же именем

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