Correct and Efficient Policy Monitoring, a Retrospective.

David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel

Browse the full ATVA paper archive.