Fetching the paper…
Reading the bibliography…
Grounding navigational commands to linear temporal logic (LTL) leverages its unambiguous semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal constraints.
The temporal logic of programs
A. Pnueli · 1977
Earlier work this paper cites.
Semantics: Volume 2 , volume 2
J. Lyons · 1977
Earlier work this paper cites.
An automata-theoretic approach to linear temporal logic
M. Y. Vardi · 1996
Earlier work this paper cites.
Simple on-the-fly automatic verification of linear temporal logic
R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper · 1996
Earlier work this paper cites.
Patterns in property specifications for finite-state verification
M. B. Dwyer, G. S. Avrunin, and J. C. Corbett · 1999
Earlier work this paper cites.
Marco: A modular architecture for following route instructions
M. Macmahon · 2005
Earlier work this paper cites.
Walk the talk: Connecting language, knowledge, and action in route instructions
M. MacMahon, B. Stankiewicz, and B. Kuipers · 2006
Earlier work this paper cites.
Learning to interpret natural language navigation instructions from observations
D. L. Chen and R. J. Mooney · 2011
Earlier work this paper cites.
Unsupervised PCFG induction for grounded language learning with highly ambiguous supervision
J. Kim and R. Mooney · 2012
Earlier work this paper cites.
Weakly supervised learning of semantic parsers for mapping instructions to actions
Y. Artzi and L. Zettlemoyer · 2013
Earlier work this paper cites.
Incorporating copying mechanism in sequence-to-sequence learning
J. Gu, Z. Lu, H. Li, and V. O. Li · 2016
Earlier work this paper cites.
Environment-independent task specifications via gltl
M. L. Littman, U. Topcu, J. Fu, C. Isbell, M. Wen, and J. MacGlashan · 2017
Earlier work this paper cites.
Attention is all you need
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, Ł. Kaiser, and I. Polosukhin · 2017
Earlier work this paper cites.
Planet dump retrieved from https://planet.osm.org
OpenStreetMap contributors · 2017
Earlier work this paper cites.
Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications
N. Gopalan, D. Arumugam, L. Wong, and S. Tellex · 2018
Earlier work this paper cites.
Improving language understanding by generative pre-training
A. Radford, K. Narasimhan, T. Salimans, I. Sutskever, et al · 2018
Earlier work this paper cites.
Using reward machines for high-level task specification and decomposition in reinforcement learning
R. T. Icarte, T. Klassen, R. Valenzano, and S. McIlraith · 2018
Cited alongside, same era.
Bayesian inference of temporal task specifications from demonstrations
A. Shah, P. Kamath, J. A. Shah, and S. Li · 2018
Cited alongside, same era.
Learning task specifications from demonstrations
M. Vazquez-Chanlatte, S. Jha, A. Tiwari, M. K. Ho, and S. Seshia · 2018
Cited alongside, same era.
Ltl and beyond: Formal languages for reward function specification in reinforcement learning
A. Camacho, R. T. Icarte, T. Q. Klassen, R. A. Valenzano, and S. A. McIlraith · 2019
Cited alongside, same era.
Planning with State Abstractions for Non-Markovian Task Specifications
Y. Oh, R. Patel, T. Nguyen, B. Huang, E. Pavlick, and S. Tellex · 2019
Cited alongside, same era.
Language models are unsupervised multitask learners
Transformers: State-of-the-art natural language processing
T. Wolf, L. Debut, V. Sanh, J. Chaumond, C. Delangue, A. Moi, P. Cistac, T. Rault, R. Louf, M. Funtowicz, J. Davison, S. Shleifer, P. von Platen, C. Ma, Y. Jernite, J. Plu, C. Xu, T. L. Scao, S. Gugger, M. Drame, Q. Lhoest, and A. M. Rush · 2020
Later among the works it cites.
Learning a natural-language to ltl executable semantic parser for grounded robotics
C. Wang, C. Ross, Y.-L. Kuo, B. Katz, and A. Barbu · 2021
Later among the works it cites.
Code as policies: Language model programs for embodied control
J. Liang, W. Huang, F. Xia, P. Xu, K. Hausman, B. Ichter, P. Florence, and A. Zeng · 2022
Later among the works it cites.
Progprompt: Generating situated robot task plans using large language models
I. Singh, V. Blukis, A. Mousavian, A. Goyal, D. Xu, J. Tremblay, D. Fox, J. Thomason, and A. Garg · 2022
Later among the works it cites.
Lm-nav: Robotic navigation with large pre-trained models of language, vision, and action
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. Radford, J. Wu, R. Child, D. Luan, D. Amodei, I. Sutskever, et al · 2019
Cited alongside, same era.
Foundations for restraining bolts: Reinforcement learning with ltlf/ldlf restraining specifications
G. De Giacomo, L. Iocchi, M. Favorito, and F. Patrizi · 2019
Cited alongside, same era.
Bayesian inference of linear temporal logic specifications for contrastive explanations
J. Kim, C. Muise, A. Shah, S. Agarwal, and J. Shah · 2019
Cited alongside, same era.
Specification patterns for robotic missions
C. Menghi, C. Tsigkanos, P. Pelliccione, C. Ghezzi, and T. Berger · 2019
Cited alongside, same era.
Grounding Language to Landmarks in Arbitrary Outdoor Environments
M. Berg, D. Bayazit, R. Mathew, A. Rotter-Aboyoun, E. Pavlick, and S. Tellex · 2020
Cited alongside, same era.
Grounding language to non-markovian tasks with no supervision of task specifications
R. Patel, E. Pavlick, and S. Tellex · 2020
Cited alongside, same era.
Language models are few-shot learners
T. Brown, B. Mann, N. Ryder, M. Subbiah, J. D. 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. 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 · 2020
Cited alongside, same era.
D. Shah, B. Osiński, S. Levine, et al · 2022
Later among the works it cites.
Planning with large language models via corrective re-prompting
S. S. Raman, V. Cohen, E. Rosen, I. Idrees, D. Paulius, and S. Tellex · 2022
Later among the works it cites.
Reward machines: Exploiting reward function structure in reinforcement learning
R. T. Icarte, T. Q. Klassen, R. Valenzano, and S. A. McIlraith · 2022
Later among the works it cites.
Skill transfer for temporally-extended task specifications
J. X. Liu, A. Shah, E. Rosen, M. Jia, G. Konidaris, and S. Tellex · 2022
Later among the works it cites.
Do as i can, not as i say: Grounding language in robotic affordances
M. Ahn, A. Brohan, N. Brown, Y. Chebotar, O. Cortes, B. David, C. Finn, K. Gopalakrishnan, K. Hausman, A. Herzog, et al · 2022
Later among the works it cites.
Text and code embeddings by contrastive pre-training
A. Neelakantan, T. Xu, R. Puri, A. Radford, J. M. Han, J. Tworek, Q. Yuan, N. Tezak, J. W. Kim, C. Hallacy, et al · 2022
Later among the works it cites.
From Spot 2.0 to Spot 2.10: What’s new?
A. Duret-Lutz, E. Renault, M. Colange, F. Renkin, A. G. Aisse, P. Schlehuber-Caissier, T. Medioni, A. Martin, J. Dubois, C. Gillard, and H. Lauko · 2022
Later among the works it cites.
Gpt-4 technical report, 2023
OpenAI · 2023
Closest in time.
J. Pan, G. Chou, and D. Berenson · 2023
Closest in time.
M. Cosler, C. Hahn, D. Mendoza, F. Schmitt, and C. Trippel · 2023
Closest in time.
NL2LTL – a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas
F. Fuggitti and T. Chakraborti · 2023
Closest in time.
Nl2tl: Transforming natural languages to temporal logics using large language models
Y. Chen, R. Gandhi, Y. Zhang, and C. Fan · 2023
Closest in time.