Exploring foci of:
doi.org
Verification column
November 2018 • Ranko Lazić
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.
The Dancers At The End Of Time
Hope Ii
The Ninth Wave
The Bureaucrats (1936 Film)
Main Page
The False Mirror
The Massacre At Chios
Weapons (2025 Film)
Squid Game Season 3
Technological Fix
Harvester Vase
Electronic Colonialism
Victoria Mboko
Lauren Sánchez
Collective Action Problem
Shefali Jariwala
Hackers: Heroes Of The Computer Revolution
Community Fridge
Compassion Fade
F1 (Film)
Takahiro Shiraishi
The Wealth Of Networks
The 1975
This Changes Everything (Book)
Silencing The Past
Direct Action: An Ethnography
Sweet Porridge