|
[PRSG20]
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and David Garlan.
Hybrid Planning Using Learning and Model Checking for Autonomous Systems.
In Proc. IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS'20).
2020.
[Presents a hybrid planning technique for autonomous systems combining learning and model checking, the latter using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|