![]() | Up a level |
Aamir Saeed.
AUTOMATED PLANNING AND GOAL REASONING FOR AUTONOMOUS SYSTEMS VIA MODEL CHECKING.
Rel. Michele Taragna. Politecnico di Torino, Master of science program in Mechatronic Engineering, 2019