Fetching the paper…
Reading the bibliography…
The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity.
N. A. Lynch and M. R. Tuttle, “An introduction to input/output automata,” 1988
1988
Earlier work this paper cites.
L. P. Kaelbling, M. L. Littman, and A. W. Moore, “Reinforcement learning: A survey,”
1996
Earlier work this paper cites.
R. Alur and T. A. Henzinger, “Reactive modules,”
1999
Earlier work this paper cites.
D. Seto, E. Ferriera, and T. Marz, “Case study: Development of a baseline controller for automatic landing of an f-16 aircraft using linear matrix inequalities (lmis),” Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. Rep. CMU/SEI-99-TR-020, 2000. [Online]. Available:
2000
Earlier work this paper cites.
L. Sha, “Using simplicity to control complexity,”
2001
Earlier work this paper cites.
N. Koenig and A. Howard, “Design and use paradigms for gazebo, an open-source multi-robot simulator,” in
2004
Earlier work this paper cites.
B. Dutertre and M. Sorea, “Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata,” in
2004
Earlier work this paper cites.
I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, “A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games,”
2005
Earlier work this paper cites.
O. Pettersson, “Execution monitoring in robotics: A survey,”
2005
Earlier work this paper cites.
A. G. Hofmann and B. C. Williams, “Robust execution of temporally flexible plans for bipedal walking devices,” in
2006
Earlier work this paper cites.
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” in
2008
Earlier work this paper cites.
H. X. Li and B. C. Williams, “Generative planning for hybrid systems based on flow tubes,” in
2008
Earlier work this paper cites.
S. Bak, D. K. Chivukula, O. Adekunle, M. Sun, M. Caccamo, and L. Sha, “The system-level simplex architecture for improved real-time embedded system safety,” in
2009
Earlier work this paper cites.
M. Quigley, K. Conley, B. P. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, and A. Y. Ng, “Ros: an open-source robot operating system,” in
2009
Earlier work this paper cites.
H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, “Temporal logic based reactive mission and motion planning,”
2009
Earlier work this paper cites.
G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, “Temporal logic motion planning for dynamic robots,”
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
Earlier work this paper cites.
S. Bak, K. Manamcheri, S. Mitra, and M. Caccamo, “Sandboxing controllers for cyber-physical systems,” in
2011
Earlier work this paper cites.
G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler, “SpaceEx: Scalable verification of hybrid systems,” in
2011
Cited alongside, same era.
S. Karaman and E. Frazzoli, “Sampling-based algorithms for optimal motion planning,”
2011
Cited alongside, same era.
T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray, “TuLiP: a software toolbox for receding horizon temporal logic planning,” in
2011
Cited alongside, same era.
I. A. Şucan, M. Moll, and L. E. Kavraki, “The Open Motion Planning Library,”
2012
Cited alongside, same era.
T. Abdellatif, S. Bensalem, J. Combaz, L. de Silva, and F. Ingrand, “Rigorous design of robot software: A formal component-based approach,”
2012
Cited alongside, same era.
G. Brockman, V. Cheung, L. Pettersson, J. Schneider, J. Schulman, J. Tang, and W. Zaremba, “Openai gym,” 2016
2016
Later among the works it cites.
S. Mitsch and A. Platzer, “Modelplex: verified runtime validation of verified cyber-physical system models,”
2016
Later among the works it cites.
D. Phan, J. Yang, R. Grosu, S. A. Smolka, and S. D. Stoller, “Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles,”
2017
Later among the works it cites.
2017
Later among the works it cites.
“PX4 Autopilot,” https://pixhawk.org/, 2017
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…
A. Aswani, P. Bouffard, and C. Tomlin, “Extensions of learning-based model predictive control for real-time application to a quadrotor helicopter,” in
2012
Cited alongside, same era.
M. Clark, X. Koutsoukos, R. Kumar, I. Lee, G. Pappas, L. Pike, J. Porter, and O. Sokolsky, “Study on run time assurance for complex cyber physical systems,” Air Force Research Lab, Tech. Rep. ADA585474, April 2013, available at
2013
Cited alongside, same era.
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, and D. Zufferey, “P: Safe asynchronous event-driven programming,” in
2013
Cited alongside, same era.
2013
Cited alongside, same era.
X. Chen, E. Ábrahám, and S. Sankaranarayanan, “Flow*: An analyzer for non-linear hybrid systems,” in
2013
Cited alongside, same era.
A. Aswani, H. Gonzalez, S. S. Sastry, and C. Tomlin, “Provably safe and robust learning-based model predictive control,”
2013
Cited alongside, same era.
I. Saha, R. Ramaithitima, V. Kumar, G. J. Pappas, and S. A. Seshia, “Automated composition of motion primitives for multi-robot systems from safe ltl specifications.” IEEE, 2014, pp. 1525–1532
2014
Cited alongside, same era.
“3D Robotics,” https://3dr.com/, 2017
2017
Later among the works it cites.
S. L. Herbert, M. Chen, S. Han, S. Bansal, J. F. Fisac, and C. J. Tomlin, “FaSTrack: A modular framework for fast and guaranteed safe motion planning,” in
2017
Later among the works it cites.
A. Desai, I. Saha, J. Yang, S. Qadeer, and S. A. Seshia, “DRONA: A framework for safe distributed mobile robotics,” in
2017
Later among the works it cites.
J. Guiochet, M. Machin, and H. Waeselynck, “Safety-critical advanced robots: A survey,”
2017
Later among the works it cites.
Y. Shoukry, P. Nuzzo, A. Balkan, I. Saha, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, and P. Tabuada, “Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming,” in
2017
Later among the works it cites.
T. Dreossi, A. Donzé, and S. A. Seshia, “Compositional falsification of cyber-physical systems with machine learning components,” in
2017
Later among the works it cites.
A. Desai, T. Dreossi, and S. A. Seshia, “Combining model checking and runtime verification for safe robotics,” in
2017
Later among the works it cites.
J. V. Deshmukh, A. Donzé, S. Ghosh, X. Jin, G. Juniwal, and S. A. Seshia, “Robust online monitoring of signal temporal logic,”
2017
Later among the works it cites.
B. Bohrer, Y. K. Tan, S. Mitsch, M. O. Myreen, and A. Platzer, “Veriphy: Verified controller executables from verified cyber-physical system models,”
2018
Closest in time.
A. Desai, S. Qadeer, and S. A. Seshia, “Programming safe robotics systems: Challenges and advances,” in
2018
Closest in time.
A. Desai, A. Phanishayee, S. Qadeer, and S. A. Seshia, “Compositional programming and testing of dynamic distributed systems,”
2018
Closest in time.
L. Masson, J. Guiochet, H. Waeselynck, K. Cabrera, S. Cassel, and M. Törngren, “Tuning permissiveness of active safety monitors for autonomous systems,” in
2018
Closest in time.