activity
20242026
most citedLearning Algorithms for Verification of Markov Decision Processes

2 citations · 3 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.AI2024

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

Marnix Suilen, Thom Badings, Eline M. Bovy +2

Markov decision processes (MDPs) are a standard model for sequential decision-making problems and are widely used across many scientific areas, including formal methods and artific…

eess.SY2024★ 2 cited

Learning Algorithms for Verification of Markov Decision Processes

Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik +6

We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs). The primary goal of our techniques…