Research output per year
Research output per year
Search results
-
2023
Counterfactual Causality for Reachability and Safety based on Distance Functions
Parreaux, J., Piribauer, J. & Baier, C., 30 Sep 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 390, p. 132-149 18 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Scopus citations -
Entropic Risk for Turn-Based Stochastic Games
Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations