Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
doi 10.9781/ijimai.2016.375
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2016
Authors
Publisher
Universidad Internacional de La Rioja