Stochastic games with lexicographic objectives

Chatterjee, Krishnendu; Katoen, Joost-Pieter; Mohr, Stefanie; Weininger, Maximilian; Winkler, Tobias (Corresponding author)

Dordrecht [u.a.] : Springer Science + Business Media B.V (2023)
Journal Article

In: Formal methods in system design
Page(s)/Article-Nr.: 41 Seiten


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]