Author:
Vieira Ewerton R.,Granados Edgar,Sivaramakrishnan Aravind,Gameiro Marcio,Mischaikow Konstantin,Bekris Kostas E.
Publisher
Springer International Publishing
Reference51 articles.
1. Abate, A., Ahmed, D., Edwards, A., Giacobbe, M., Peruffo, A.: Fossil: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. In: HSCC, pp. 1–11 (2021)
2. Acar, E.U., Choset, H., Rizzi, A.A., Atkar, P.N., Hull, D.: Morse decompositions for coverage tasks. IJRR 21(4), 331–344 (2002)
3. Akametalu, A.K., Fisac, J.F., Gillula, J.H., Kaynama, S., Zeilinger, M.N., Tomlin, C.J.: Reachability-based safe learning with gaussian processes. In: CDC (2014)
4. Antonova, R., Varava, A., Shi, P., Carvalho, J.F., Kragic, D.: Sequential topological representations for predictive models of deformable objects. In: L4DC (2021)
5. Bansal, S., Chen, M., Herbert, S., Tomlin, C.J.: Hamilton-jacobi reachability: a brief overview and recent advances. In: CDC (2017)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献