Fetching the paper…
Reading the bibliography…
Recent work on using natural language to specify commands to robots has grounded that language to LTL.
A. Pnueli, “The temporal logic of programs,” in
1977
Earlier work this paper cites.
J. R. Büchi, “On a decision method in restricted second order arithmetic,” 1990
1990
Earlier work this paper cites.
P. Vogt, A. C. Loula, R. Gudwin, and J. Queiroz, “Language evolution and robotics: Issues on symbol grounding and language acquisition,” 2006
2006
Earlier work this paper cites.
C. Diuk, A. Cohen, and M. Littman, “An object-oriented representation for efficient reinforcement learning,” in
2008
Earlier work this paper cites.
D. Sadigh, E. S. Kim, S. Coogan, S. S. Sastry, and S. A. Seshia, “A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications,” in
2014
Earlier work this paper cites.
J. Fu and U. Topcu, “Probably approximately correct MDP learning and control with temporal logic constraints,” in
2014
Earlier work this paper cites.
I. Sutskever, O. Vinyals, and Q. V. Le, “Sequence to sequence learning with neural networks,” in
2014
Cited alongside, same era.
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
2015
Cited alongside, same era.
J. Gu, Z. Lu, H. Li, and V. O. K. Li, “Incorporating copying mechanism in sequence-to-sequence learning,” in
2016
Cited alongside, same era.
N. Gopalan, D. Arumugam, L. L. S. Wong, and S. Tellex, “Sequence-to-sequence language grounding of non-markovian task specifications,” in
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
2019
Cited alongside, same era.
A. Camacho, R. T. Icarte, T. Q. Klassen, R. Valenzano, and S. A. McIlraith, “Ltl and beyond: Formal languages for reward function specification in reinforcement learning,” in
2019
Later among the works it cites.
N. Danas, T. Nelson, C. Finkelstein, S. Krishnamurthi, and S. Tellex, “Formal dialogue model for language grounding error recovery,” 2019. [Online]. Available:
2019
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
Later among the works it cites.
R. Patel, E. Pavlick, and S. Tellex, “Grounding language to non-markovian tasks with no supervision of task specifications,” in
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…
2020
Later among the works it cites.