Ashutosh Pandey 0002 Ivan Ruchkin Bradley R. Schmerl David Garlan Hybrid Planning Using Learning and Model Checking for Autonomous Systems. 55-64 2020 ACSOS https://doi.org/10.1109/ACSOS49614.2020.00026 conf/acsos/2020 db/conf/acsos/acsos2020.html#0002RSG20