Fetching the paper…
Reading the bibliography…
Often times, we specify tasks for a robot using temporal language that can also span different levels of abstraction.
J. R. Büchi, “On a decision method in restricted second order arithmetic,” in The Collected Works of J. Richard Büchi . Springer, 1990, pp. 425–435
1990
Earlier work this paper cites.
R. S. Sutton, D. Precup, and S. Singh, “Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning,” Artificial intelligence , vol. 112, no. 1-2, pp. 181–211, 1999
1999
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, 2008
2008
Earlier work this paper cites.
G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, “Temporal logic motion planning for dynamic robots,” Automatica , vol. 45, no. 2, pp. 343 – 352, 2009
2009
Earlier work this paper cites.
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 , 2010
2010
Earlier work this paper cites.
X. C. Ding, S. L. Smith, C. Belta, and D. Rus, “MDP optimal control under temporal logic constraints,” in Decision and Control and European Control Conference (CDC-ECC), IEEE Conference on , 2011
2011
Earlier work this paper cites.
E. M. Wolff, U. Topcu, and R. M. Murray, “Robust control of uncertain markov decision processes with temporal logic specifications,” in IEEE Conference on Decision and Control , 2012
2012
Earlier work this paper cites.
X. Ding, S. L. Smith, C. Belta, and D. Rus, “Optimal control of markov decision processes with linear temporal logic constraints,” IEEE Transactions on Automatic Control , vol. 59, no. 5, pp. 1244–1257, 2014
2014
Earlier work this paper cites.
2014
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 IEEE Conference on Decision and Control , 2014
2014
Earlier work this paper cites.
J. McMahon and E. Plaku, “Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic,” in Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems , 2014
2014
Earlier work this paper cites.
2014
Cited alongside, same era.
N. Srivastava, G. Hinton, A. Krizhevsky, I. Sutskever, and R. Salakhutdinov, “Dropout: a simple way to prevent neural networks from overfitting,” The Journal of Machine Learning Research , vol. 15, no. 1, pp. 1929–1958, 2014
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 Robotics: Science and Systems , 2015
2015
Cited alongside, same era.
C. Lignos, V. Raman, C. Finucane, M. Marcus, and H. Kress-Gazit, “Provably correct reactive control from natural language,” Autonomous Robots , vol. 38, no. 1, pp. 89–105, 2015
2015
Cited alongside, same era.
K. Cho, J. Suh, C. J. Tomlin, and S. Oh, “Cost-aware path planning under co-safe temporal logic specifications,” IEEE Robotics and Automation Letters , vol. 2, no. 4, pp. 2308–2315, 2017
2017
Later among the works it cites.
Y. Oh, K. Cho, Y. Choi, and S. Oh, “Robust multi-layered sampling-based path planning for temporal logic-based missions,” in IEEE Conference on Decision and Control , 2017
2017
Later among the works it cites.
A. Paszke, S. Gross, S. Chintala, G. Chanan, E. Yang, Z. DeVito, Z. Lin, A. Desmaison, L. Antiga, and A. Lerer, “Automatic differentiation in pytorch,” 2017
2017
Later among the works it cites.
2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
H. Chen, A. S. Lee, M. Swift, and J. C. Tang, “3d collaboration method over hololens™ and skype™ end points,” in Proc. of the 3rd International Workshop on Immersive Media Experiences , 2015
2015
Cited alongside, same era.
G. Konidaris, “Constructing abstraction hierarchies using a skill-symbol loop,” in Proc. of the International Joint Conference on Artificial Intelligence , 2016
2016
Cited alongside, same era.
A. Boteanu, T. Howard, J. Arkin, and H. Kress-Gazit, “A model for verifiable grounding and execution of complex natural language instructions,” in 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) , 2016
2016
Cited alongside, same era.
A. Duret-Lutz, A. Lewkowicz, A. Fauchille, T. Michaud, E. Renault, and L. Xu, “Spot 2.0 — a framework for LTL and ω \omega -automata manipulation,” in Proc. of the International Symposium on Automated Technology for Verification and Analysis (ATVA’16) , ser. Lecture Notes in Computer Science. Springer, 2016
2016
Cited alongside, same era.
N. Gopalan, M. desJardins, M. L. Littman, J. MacGlashan, S. Squire, S. Tellex, J. Winder, and L. L. Wong, “Planning with abstract markov decision processes,” in ICAPS , 2017
2017
Cited alongside, same era.
2017
Cited alongside, same era.
D. Kasenberg and M. Scheutz, “Interpretable apprenticeship learning with temporal logic specifications,” in IEEE Conference on Decision and Control , 2017
2017
Cited alongside, same era.
T. D. Kulkarni, K. Narasimhan, A. Saeedi, and J. Tenenbaum, “Hierarchical deep reinforcement learning: Integrating temporal abstraction and intrinsic motivation,” in Advances in Neural Information Processing Systems 29 , D. D. Lee, M. Sugiyama, U. V. Luxburg, I. Guyon, and R. Garnett, Eds
Cited in the paper.
2017
Later among the works it cites.
G. Konidaris, L. P. Kaelbling, and T. Lozano-Perez, “From skills to symbols: Learning symbolic representations for abstract high-level planning,” Journal of Artificial Intelligence Research , vol. 61, pp. 215–289, 2018
2018
Later among the works it cites.
N. Gopalan, D. Arumugam, L. Wong, and S. Tellex, “Sequence-to-sequence language grounding of non-markovian task specifications,” in Robotics: Science and Systems , 2018
2018
Later among the works it cites.
2018
Later among the works it cites.
2018
Later among the works it cites.
I. Brand, J. Roy, A. Ray, J. Oberlin, and S. Oberlix, “Pidrone: An autonomous educational drone using raspberry pi and python,” in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) , 2018
2018
Later among the works it cites.