Author of the publication

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.

 

Other publications of authors with the same name

Solving Two-Player Games under Progress Assumptions., , , and . CoRR, (2023)Computing Adequately Permissive Assumptions for Synthesis., , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 211-228. Springer, (2023)Localized Attractor Computations for Infinite-State Games., , , and . CAV (3), volume 14683 of Lecture Notes in Computer Science, page 135-158. Springer, (2024)Contract-Based Distributed Logical Controller Synthesis., , and . HSCC, page 11:1-11:11. ACM, (2024)Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime., , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 149-173. Springer, (2022)Poster Abstract: Towards Seamless Reactivity of Hybrid Control., , , , and . HSCC, page 27:1-27:2. ACM, (2023)Synthesizing Permissive Winning Strategy Templates for Parity Games., , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 436-458. Springer, (2023)Robust Computation Tree Logic., , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 538-556. Springer, (2022)Adaptive strategies for rLTL games., , and . HSCC, page 32:1-32:2. ACM, (2021)Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates., , and . HSCC, page 21:1-21:12. ACM, (2024)