Author:
Cavalcanti Ana,Sampaio Augusto,Miyazawa Alvaro,Ribeiro Pedro,Conserva Filho Madiel,Didier André,Li Wei,Timmis Jon
Funder
EPSRC
Royal Academy of Engineering
CNPq
FACEPE
Reference46 articles.
1. Rigorous design of robot software: a formal component-based approach;Abdellatif;Robot. Auton. Syst.,2012
2. Roboflow: a flow-based visual programming language for mobile manipulation tasks;Alexandrova,2015
3. Rafcon: a graphical tool for engineering complex, robotic tasks;Brunner,2016
4. From control law diagrams to Ada via Circus;Cavalcanti;Form. Asp. Comput.,2011
5. Sound simulation and co-simulation for robotics;Cavalcanti,2017
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formally verified animation for RoboChart using interaction trees;Journal of Logical and Algebraic Methods in Programming;2024-02
2. Laws of Timed State Machines;The Computer Journal;2023-12-22
3. RoboWorld: Verification of Robotic Systems with Environment in the Loop;Formal Aspects of Computing;2023-11-20
4. A Tool for Transforming SysML State Machine into Uppaal Automatically;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01
5. Challenges in testing of cyclic systems;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14