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

BFL: a Logic to Reason about Fault Trees., , and . DSN, page 441-452. IEEE, (2022)The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)., , , , , , , , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 69-92. Springer, (2019)sfPFL: A Probabilistic Logic for Fault Trees., , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 199-221. Springer, (2023)Omega-Regular Decision Processes., , , , , and . AAAI, page 21125-21133. AAAI Press, (2024)EPMC Gets Knowledge in Multi-agent Systems., , , , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 93-107. Springer, (2022)Tools at the Frontiers of Quantitative Verification., , , , , , , , , and 13 other author(s). CoRR, (2024)Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021)., , , , , and . (April 2021)sfATM: A Logic for Quantitative Security Properties on Attack Trees., , , and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 205-225. Springer, (2023)The Marriage Between Safety and Cybersecurity: Still Practicing., , , , and . SPIN, volume 12864 of Lecture Notes in Computer Science, page 3-21. Springer, (2021)Reinforcement Learning with Guarantees that Hold for Ever., , , , , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 3-7. Springer, (2022)