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]

@inproceedings{0005BJ15,
  title = {Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements},
  author = {Zhe Xu 0005 and Calin Belta and Agung Julius},
  year = {2015},
  doi = {10.1016/j.ifacol.2015.11.166},
  url = {https://doi.org/10.1016/j.ifacol.2015.11.166},
  researchr = {https://researchr.org/publication/0005BJ15},
  cites = {0},
  citedby = {0},
  pages = {141-146},
  booktitle = {5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015},
  editor = {Magnus Egerstedt and Yorai Wardi},
  volume = {48},
  number = {27},
  series = {IFAC-PapersOnLine},
  publisher = {Elsevier},
}