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

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives., , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 86-112. Springer, (2023)Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata., , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 619-642. Springer, (2021)A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis., , , and . LICS, page 1-13. IEEE, (2021)iBEHAVE: Behaviour Analysis Using Eye Gaze Metrices., , , and . PReMI, volume 14301 of Lecture Notes in Computer Science, page 260-269. Springer, (2023)iSTIMULI: Prescriptive Stimulus Design for Eye Movement Analysis of Patients with Parkinson's Disease., , , and . MIWAI, volume 14078 of Lecture Notes in Computer Science, page 589-600. Springer, (2023)Regular set of representatives for time-constrained MSC graphs., , , and . Inf. Process. Lett., 112 (14-15): 592-598 (2012)Synthesizing Pareto-Optimal Interpretations for Black-Box Models., , , , and . FMCAD, page 153-162. IEEE, (2021)UEye: Insights on User Interface Design Using Eye Movement Visualizations., , and . ICACDS, volume 1848 of Communications in Computer and Information Science, page 253-264. Springer, (2023)Symbolically Bounding the Drift in Time-Constrained MSC Graphs., , , and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 1-15. Springer, (2012)Towards an Efficient Tree Automata Based Technique for Timed Systems., , , and . CONCUR, volume 85 of LIPIcs, page 39:1-39:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)