The Transition You Never Saw Still Matters
TL;DR for operators A controller can repeatedly complete its assigned task in simulation without providing a mathematical guarantee that it will eventually succeed. For an unknown decision system, increasing the simulation budget does not always close that gap. S Akshay, Suguman Bansal, and Gaurav Mahla1 prove that learning or verifying an almost-sure reachability certificate has no uniform sample-complexity guarantee when unknown transition probabilities are unrestricted. An arbitrarily rare transition can remain invisible under any sample budget determined only by model size and confidence. ...