Formally Verified Solution Methods for Markov Decision Processes.

Maximilian Schffeler, Mohammad Abdulaziz

Browse the full AAAI paper archive.