Formally Verified Approximate Policy Iteration.

Maximilian Schffeler, Mohammad Abdulaziz

Browse the full AAAI paper archive.