Author of the publication

A Classification of Symbolic Transition Systems.

, and . STACS, volume 1770 of Lecture Notes in Computer Science, page 13-34. Springer, (2000)

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

FAR-Cubicle - A new reachability algorithm for Cubicle., , , , and . FMCAD, page 172-175. IEEE, (2017)Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111)., , , and . Dagstuhl Reports, 7 (3): 27-32 (2017)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)Symbolic Control for Stochastic Systems via Parity Games., , , and . CoRR, (2021)Data-Driven Abstraction-Based Control Synthesis., , , , and . CoRR, (2022)Parameterized Verification of Asynchronous Shared-Memory Systems., , and . J. ACM, 63 (1): 10:1-10:48 (2016)Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control., , , , and . ACM Trans. Embed. Comput. Syst., 18 (5s): 100:1-100:19 (2019)Testing consensus implementations using communication closure., , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 210:1-210:29 (2020)On the universal and existential fragments of the mu-calculus., , and . Theor. Comput. Sci., 354 (2): 173-186 (2006)On Decidability of Time-Bounded Reachability in CTMDPs., , and . ICALP, volume 168 of LIPIcs, page 133:1-133:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)