Counter-example Guided Learning of Bounds on Environment Behavior.

Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray

Browse the full CoRL paper archive.