Life is Random, Time is Not: Markov Decision Processes with Window Objectives
The window mechanism was introduced by Chatterjee et al. to strengthen classical game objectives with time bounds. It permits to synthesize system controllers that exhibit acceptable behaviors within a configurable time frame, all along their infinite execution, in contrast to the traditional object...
Main Authors: | Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2020-12-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/5968/pdf |
Similar Items
-
Arena-Independent Finite-Memory Determinacy in Stochastic Games
by: Patricia Bouyer, et al.
Published: (2023-12-01) -
Games Where You Can Play Optimally with Arena-Independent Finite Memory
by: Patricia Bouyer, et al.
Published: (2022-01-01) -
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
by: Patricia Bouyer, et al.
Published: (2023-01-01) -
Analysis of Timed and Long-Run Objectives for Markov Automata
by: Dennis Guck, et al.
Published: (2014-09-01) -
Decision Questions for Probabilistic Automata on Small Alphabets
by: Paul C. Bell, et al.
Published: (2023-12-01)