Author:
Lindoso Waldeck,Nogueira Sidney C.,Domingues Renato,Lima Lucas
Publisher
Springer International Publishing
Reference16 articles.
1. Alexandrova, S., Tatlock, Z., Cakmak, M.: RoboFlow: a flow-based visual programming language for mobile manipulation tasks. In: 2015 IEEE International Conference on Robotics and Automation (ICRA), pp. 5537–5544. IEEE (2015)
2. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986). https://doi.org/10.1145/5397.5399
3. Darolți, B.: Software engineering for robotics: an autonomous robotic vacuum cleaner for solar panels. Master’s thesis, University of York (2019)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Dhouib,2012
5. Lecture Notes in Computer Science;T Gibson-Robinson,2014
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献