Verification column Article Swipe
Related Concepts
Column (typography)
Computer science
Markov chain
Machine learning
Telecommunications
Frame (networking)
Ranko Lazić
·
YOU?
·
· 2018
· Open Access
·
· DOI: https://doi.org/10.1145/3292048.3292051
· OA: W4234886055
YOU?
·
· 2018
· Open Access
·
· DOI: https://doi.org/10.1145/3292048.3292051
· OA: W4234886055
In this accessible yet rigorous column, Christel Baier and Clemens Dubslaff provide a timely and valuable overview of the vibrant area of algorithmic synthesis problems based on Markov decision processes. The latter are one of the most prominent stochastic models, both in theory and in applications. The overview is extensive, covering synthesis with non-standard objectives as well as family-based analysis, and indicating several emerging directions.
Related Topics
Finding more related topics…