GRAVITAS: A model checking based planning and goal...

Engineering Applications of Artificial Intelligence 2021 / 01 Vol. 97

GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems

Bride, Hadrien, Dong, Jin Song, Green, Ryan, Hóu, Zhé, Mahony, Brendan, Oxenham, Martin
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
97
Journal:
Engineering Applications of Artificial Intelligence
DOI:
10.1016/j.engappai.2020.104091
Date:
January, 2021
File:
PDF, 243 KB
2021
Conversion to is in progress
Conversion to is failed