A Look Back at Strategy Logic
Krishnendu Chatterjee, T. Henzinger, Nir Piterman et al.
· 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Review
2026
An Introduction to Multi-Environment Markov Decision Processes (Invited Talk)
The main results obtained for both semantics since the introduction of the model in 2014 are surveyed, which cover reachability, parity and Rabin objectives, under the qualitative criteria (almost-sure, limit-sure and the quantitative value-threshold problem, and the key algorithmic ideas are outlined.
J. Raskin
· International Conference on... · 0 citations