activity
20232026
most citedSound Statistical Model Checking for Probabilities and Expected Rewards (extended version)

9 citations · 13 across the 6 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.AI2026

Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes

Konstantin Kueffner, Tobias Meggendorfer, Maximilian Weininger +1

Markov decision processes (MDPs) are a classic model of decision making under uncertainty, exhibiting both non-deterministic choice as well as probabilistic uncertainty. Traditiona…