Zhe Xu 0005, Calin Belta, Agung Julius. Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. In Magnus Egerstedt, Yorai Wardi, editors, 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015. Volume 48 of IFAC-PapersOnLine, pages 141-146, Elsevier, 2015. [doi]
Abstract is missing.