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

Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , and . CoRR, (2024)Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems., , and . ICRA, page 779-785. IEEE, (2021)Retrospective detection of interleaved slice acquisition parameters from fMRI data., , , and . ISBI, page 37-40. IEEE, (2014)Design-driven research for workplace exergames: the limber case study., , , , , , , and . Gamification, page 123-126. ACM, (2013)An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems., , , , and . IMBSA, volume 12297 of Lecture Notes in Computer Science, page 179-193. Springer, (2020)UTIS (Urban Transportation Information System) a geo-spatial transport database., , , and . ACM-GIS, page 83-88. ACM, (2000)Probabilistic Point-to-Point Information Leakage., , , and . CSF, page 193-205. IEEE Computer Society, (2013)Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 46-60. Springer, (2004)Stochastic Games for Verification of Probabilistic Timed Automata., , and . FORMATS, volume 5813 of Lecture Notes in Computer Science, page 212-227. Springer, (2009)Automated Verification of Concurrent Stochastic Games., , , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 223-239. Springer, (2018)