Home > Research > Browse

Results for Stochastic games, risk-aware verification

Publications & Outputs

  1. Entropic Risk for Turn-Based Stochastic Games.

    Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 28/08/2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 15:1-15:16 16 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review