Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
DGX agentarXiv: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 probabili