Author of the publication

Symbolic controller synthesis for Büchi specifications on stochastic systems.

, , and . HSCC, page 14:1-14:11. ACM, (2020)

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

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)., , and . Dagstuhl Reports, 4 (3): 85-102 (2014)Code aware resource management., , , and . EMSOFT, page 191-202. ACM, (2005)Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs., , and . CoRR, (2019)Analysis of Asynchronous Programs with Event-Based Synchronization., , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 535-559. Springer, (2015)End-to-End Guarantees in Embedded Control Systems - (Abstract).. Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 40. Springer, (2011)From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems., , , and . ECRTS, volume 133 of LIPIcs, page 9:1-9:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach., , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 389-406. Springer, (2018)Symbolic controller synthesis for Büchi specifications on stochastic systems., , and . HSCC, page 14:1-14:11. ACM, (2020)DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation., , and . ICONIP (5), volume 1333 of Communications in Computer and Information Science, page 324-332. Springer, (2020)Context-Bounded Verification of Context-Free Specifications., , , , and . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (January 2023)