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

Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game., and . IEEE Trans. Autom. Control., 68 (1): 385-392 (2023)Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (9): 1934-1946 (2021)The complexity of bidirected reachability in valence systems., , and . CoRR, (2021)Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness., , , , and . CoRR, (2022)Game Refinement Relations and Metrics., , , and . Log. Methods Comput. Sci., (2008)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)Symbolic controller synthesis for Büchi specifications on stochastic systems., , and . HSCC, page 14:1-14:11. ACM, (2020)Context-Bounded Verification of Context-Free Specifications., , , , and . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (January 2023)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)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)