Fetching the paper…
Reading the bibliography…
To make robots accessible to a broad audience, it is critical to endow them with the ability to take universal modes of communication, like commands given in natural language, and extract a concrete desired task specification, defined using a formal language like linear temporal logic (LTL).
C. Finucane, G. Jing, and H. Kress-Gazit, “LTLMoP: Experimenting with language, Temporal Logic and robot control,” in 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems , Oct. 2010, pp. 1988–1993, iSSN: 2153-0866
1993
Earlier work this paper cites.
R. Schlör, B. Josko, and D. Werth, “Using a visual formalism for design verification in industrial environments,” in Services and Visualization: Towards User-Friendly Design, ACoS’98, VISUAL’98, AIN’97, Selected Papers , ser. Lecture Notes in Computer Science, T. Margaria, B. Steffen, R. Rückert, and J. Posegga, Eds., vol. 1385. Springer, 1998, pp. 208–221
1998
Earlier work this paper cites.
2003
Earlier work this paper cites.
2006
Earlier work this paper cites.
C. Baier and J. Katoen, Principles of model checking . MIT Press, 2008
2008
Earlier work this paper cites.
H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, “Translating Structured English to Robot Controllers,” Advanced Robotics , vol. 22, no. 12, pp. 1343–1359, Jan. 2008
2008
Earlier work this paper cites.
A. P. Nikora and G. Balcom, Automated Identification of LTL Patterns in Natural Language Requirements , 2009
2009
Earlier work this paper cites.
A. Ranta, “Translating between language and logic: what is easy and what is difficult,” in International Conference on Automated Deduction . Springer, 2011, pp. 5–25
2011
Earlier work this paper cites.
V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. L. Sangiovanni-Vincentelli, and S. A. Seshia, “Model predictive control with signal temporal logic specifications,” in 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014 . IEEE, 2014, pp. 81–87
2014
Earlier work this paper cites.
J. Berant and P. Liang, “Semantic parsing via paraphrasing,” in Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) . Baltimore, Maryland: Association for Computational Linguistics, Jun. 2014, pp. 1415–1425. [Online]. Available: https://aclanthology.org/P14-1133
2014
Earlier work this paper cites.
Y. Wang, J. Berant, and P. Liang, “Building a Semantic Parser Overnight,” in Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers) . Beijing, China: Association for Computational Linguistics, Jul. 2015, pp. 1332–1342. [Online]. Available: https://aclanthology.org/P15-1129
2015
Earlier work this paper cites.
2015
Earlier work this paper cites.
J. MacGlashan, M. Babes-Vroman, M. desJardins, M. L. Littman, S. Muresan, S. Squire, S. Tellex, D. Arumugam, and L. Yang, “Grounding english commands to reward functions,” in Robotics: Science and Systems , 2015
2015
Earlier work this paper cites.
A. Pakonen, C. Pang, I. Buzhinsky, and V. Vyatkin, “User-friendly formal specification languages - conclusions drawn from industrial experience on model checking,” in 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016 . IEEE, 2016, pp. 1–8
2016
Earlier work this paper cites.
C. Pérez-D’Arpino and J. A. Shah, “C-LEARN: learning geometric constraints from demonstrations for multi-step manipulation in shared autonomy,” in 2017 IEEE International Conference on Robotics and Automation, ICRA 2017, Singapore, Singapore, May 29 - June 3, 2017 . IEEE, 2017, pp. 4058–4065
2017
Earlier work this paper cites.
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, L. u. Kaiser, and I. Polosukhin, “Attention is all you need,” in Advances in Neural Information Processing Systems , I. Guyon, U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett, Eds., vol. 30. Curran Associates, Inc., 2017. [Online]. Available: https://proceedings.neurips.cc/paper/2017/file/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf
2017
Cited alongside, same era.
N. Gopalan, D. Arumugam, L. Wong, and S. Tellex, “Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications,” in Robotics: Science and Systems XIV . Robotics: Science and Systems Foundation, Jun. 2018
2018
Cited alongside, same era.
A. Shah, P. Kamath, J. A. Shah, and S. Li, “Bayesian inference of temporal task specifications from demonstrations,” in Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada , 2018, pp. 3808–3817
2018
Cited alongside, same era.
C. Wang, C. Ross, Y. Kuo, B. Katz, and A. Barbu, “Learning a natural-language to LTL executable semantic parser for grounded robotics,” in 4th Conference on Robot Learning, CoRL 2020, 16-18 November 2020, Virtual Event / Cambridge, MA, USA , ser. Proceedings of Machine Learning Research, J. Kober, F. Ramos, and C. J. Tomlin, Eds., vol. 155. PMLR, 2020, pp. 1706–1718
2020
Later among the works it cites.
M. Berg, D. Bayazit, R. Mathew, A. Rotter-Aboyoun, E. Pavlick, and S. Tellex, “Grounding language to landmarks in arbitrary outdoor environments,” in 2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020 . IEEE, 2020, pp. 208–215
2020
Later among the works it cites.
C. Raffel, N. Shazeer, A. Roberts, K. Lee, S. Narang, M. Matena, Y. Zhou, W. Li, and P. J. Liu, “Exploring the limits of transfer learning with a unified text-to-text transformer,” Journal of Machine Learning Research , vol. 21, no. 140, pp. 1–67, 2020. [Online]. Available: http://jmlr.org/papers/v21/20-074.html
2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
M. Vazquez-Chanlatte, S. Jha, A. Tiwari, M. K. Ho, and S. A. Seshia, “Learning task specifications from demonstrations,” in Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada , 2018, pp. 5372–5382
2018
Cited alongside, same era.
A. Das, S. Datta, G. Gkioxari, S. Lee, D. Parikh, and D. Batra, “Embodied question answering,” in 2018 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2018, Salt Lake City, UT, USA, June 18-22, 2018 . Computer Vision Foundation / IEEE Computer Society, 2018, pp. 1–10
2018
Cited alongside, same era.
P. Anderson, Q. Wu, D. Teney, J. Bruce, M. Johnson, N. Sünderhauf, I. D. Reid, S. Gould, and A. van den Hengel, “Vision-and-language navigation: Interpreting visually-grounded navigation instructions in real environments,” in 2018 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2018, Salt Lake City, UT, USA, June 18-22, 2018 . Computer Vision Foundation / IEEE Computer Society, 2018, pp. 3674–3683
2018
Cited alongside, same era.
Y. Sun, D. Tang, N. Duan, J. Ji, G. Cao, X. Feng, B. Qin, T. Liu, and M. Zhou, “Semantic parsing with syntax- and table-aware SQL generation,” in Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) . Melbourne, Australia: Association for Computational Linguistics, Jul. 2018, pp. 361–372. [Online]. Available: https://aclanthology.org/P18-1034
2018
Cited alongside, same era.
Y. Oh, R. Patel, T. Nguyen, B. Huang, E. Pavlick, and S. Tellex, “Planning with state abstractions for non-markovian task specifications,” in Robotics: Science and Systems XV, University of Freiburg, Freiburg im Breisgau, Germany, June 22-26, 2019 , A. Bicchi, H. Kress-Gazit, and S. Hutchinson, Eds., 2019
2019
Cited alongside, same era.
S. Xu, S. Semnani, G. Campagna, and M. Lam, “AutoQA: From Databases To QA Semantic Parsers With Only Synthetic Training Data,” in Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP) . Online: Association for Computational Linguistics, Nov. 2020, pp. 422–434. [Online]. Available: https://aclanthology.org/2020.emnlp-main.31
2020
Cited alongside, same era.
T. B. Brown, B. Mann, N. Ryder, M. Subbiah, J. Kaplan, P. Dhariwal, A. Neelakantan, P. Shyam, G. Sastry, A. Askell, S. Agarwal, A. Herbert-Voss, G. Krueger, T. Henighan, R. Child, A. Ramesh, D. M. Ziegler, J. Wu, C. Winter, C. Hesse, M. Chen, E. Sigler, M. Litwin, S. Gray, B. Chess, J. Clark, C. Berner, S. McCandlish, A. Radford, I. Sutskever, and D. Amodei, “Language models are few-shot learners,” in Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual , 2020
2020
Cited alongside, same era.
M. Lewis, Y. Liu, N. Goyal, M. Ghazvininejad, A. Mohamed, O. Levy, V. Stoyanov, and L. Zettlemoyer, “BART: denoising sequence-to-sequence pre-training for natural language generation, translation, and comprehension,” in Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, ACL 2020, Online, July 5-10, 2020 , D. Jurafsky, J. Chai, N. Schluter, and J. R. Tetreault, Eds. Association for Computational Linguistics, 2020, pp. 7871–7880
2020
Cited alongside, same era.
G. Wang, C. Trimbach, J. K. Lee, M. K. Ho, and M. L. Littman, “Teaching a Robot Tasks of Arbitrary Complexity via Human Feedback,” in Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction . Cambridge United Kingdom: ACM, Mar. 2020, pp. 649–657
2020
Cited alongside, same era.
G. Chou, D. Berenson, and N. Ozay, “Uncertainty-aware constraint learning for adaptive safe motion planning from demonstrations,” in 4th Conference on Robot Learning, CoRL 2020, 16-18 November 2020, Virtual Event / Cambridge, MA, USA , ser. Proceedings of Machine Learning Research, J. Kober, F. Ramos, and C. J. Tomlin, Eds., vol. 155. PMLR, 2020, pp. 1612–1639
2020
Later among the works it cites.
G. Chou, D. Berenson, and N. Ozay, “Learning constraints from demonstrations with grid and parametric representations,” Int. J. Robotics Res. , vol. 40, no. 10-11, 2021
2021
Later among the works it cites.
2021
Later among the works it cites.
P. Yin, J. Wieting, A. Sil, and G. Neubig, “On the ingredients of an effective zero-shot semantic parser,” in Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2022, Dublin, Ireland, May 22-27, 2022 , S. Muresan, P. Nakov, and A. Villavicencio, Eds. Association for Computational Linguistics, 2022, pp. 1455–1474
2022
Later among the works it cites.
S. Rongali, K. Arkoudas, M. Rubino, and W. Hamza, “Training Naturalized Semantic Parsers with Very Little Data,” in Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence . Vienna, Austria: International Joint Conferences on Artificial Intelligence Organization, Jul. 2022, pp. 4353–4359. [Online]. Available: https://www.ijcai.org/proceedings/2022/604
2022
Later among the works it cites.
G. Chou, N. Ozay, and D. Berenson, “Learning temporal logic formulas from suboptimal demonstrations: theory and experiments,” Autonomous Robots , vol. 46, no. 1, pp. 149–174, Jan. 2022. [Online]. Available: https://doi.org/10.1007/s10514-021-10004-x
2022
Later among the works it cites.
2022
Later among the works it cites.
E. Hsiung, H. Mehta, J. Chu, J. X. Liu, R. Patel, S. Tellex, and G. Konidaris, “Generalizing to new domains by mapping natural language to lifted LTL,” in 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022 . IEEE, 2022, pp. 3624–3630
2022
Later among the works it cites.
2022
Later among the works it cites.
H. Cherukuri, A. Ferrari, and P. Spoletini, “Towards explainable formal methods: From ltl to natural language with neural machine translation,” in Requirements Engineering: Foundation for Software Quality: 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings . Berlin, Heidelberg: Springer-Verlag, 2022, p. 79–86. [Online]. Available: https://doi.org/10.1007/978-3-030-98464-9_7
2022
Later among the works it cites.