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]
@inproceedings{0002RSG20, title = {Hybrid Planning Using Learning and Model Checking for Autonomous Systems}, author = {Ashutosh Pandey 0002 and Ivan Ruchkin and Bradley R. Schmerl and David Garlan}, year = {2020}, doi = {10.1109/ACSOS49614.2020.00026}, url = {https://doi.org/10.1109/ACSOS49614.2020.00026}, researchr = {https://researchr.org/publication/0002RSG20}, cites = {0}, citedby = {0}, pages = {55-64}, booktitle = {IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Washington, DC, USA, August 17-21, 2020}, publisher = {IEEE}, isbn = {978-1-7281-7277-4}, }