Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements

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]

Authors

Zhe Xu 0005

This author has not been identified. Look up 'Zhe Xu 0005' in Google

Calin Belta

This author has not been identified. Look up 'Calin Belta' in Google

Agung Julius

This author has not been identified. Look up 'Agung Julius' in Google