Ashutosh Pandey 0002, Ivan Ruchkin, Bradley R. Schmerl, David Garlan. Hybrid Planning Using Learning and Model Checking for Autonomous Systems. In IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Washington, DC, USA, August 17-21, 2020. pages 55-64, IEEE, 2020. [doi]
Abstract is missing.