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

Auction-Based Scheduling., , and . CoRR, (2023)Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances., and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 297-307. Springer, (2020)Bidding Games with Charging., , , and . CONCUR, volume 311 of LIPIcs, page 8:1-8:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games., , , and . ADHS, volume 54 of IFAC-PapersOnLine, page 127-132. Elsevier, (2021)Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment., , , , and . CDC, page 6261-6268. IEEE, (2019)Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems.. Kaiserslautern University of Technology, Germany, (2022)A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties., , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 3-15. Springer, (2023)Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems., , , and . HSCC, page 120-129. ACM, (2018)Computing Adequately Permissive Assumptions for Synthesis., , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 211-228. Springer, (2023)Lazy Abstraction-Based Controller Synthesis., , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 23-47. Springer, (2019)