Skip to content
Sagan

Paper

Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes

Unreadunread

AI summary

arXiv:2606. 25797v1 Announce Type: new Abstract: Markov decision processes (MDPs) are a classic model of decision making under uncertainty, exhibiting both non-deterministic choice as well as probabilistic uncertainty.