%0 Journal Article
%K Robotics
%K Linear features
%K Planning
%K Temporal Logic
%B International Journal of Interactive Multimedia and Artificial Intelligence
%D 2016
%N Regular Issue
%P 32-41
%R 10.9781/ijimai.2016.375
%T Linear Temporal Logic-based Mission Planning
%U http://www.ijimai.org/journal/sites/default/files/files/2016/05/ijimai20163_7_5_pdf_16569.pdf
%V 3
%8 06/2016