Robot Program Validation is a formal verification process that assesses the correctness, safety, and operational fidelity of an industrial robot program by systematically comparing its intended behavior against predefined functional, spatial, and temporal constraints within a simulated or real-world execution environment.
12
Publications
264
Citations
46
Authors
20
Institutions
Publications per year
2017–2026
4
Parents
Publications
12
Performance Verification for Behavior-Based Robot Missions
Damian M. Lyons, Ronald C. Arkin, Shu Jiang et al. · IEEE Transactions on Robotics · 2015 · 26 citations · Full text
1–5 of 12
Authors
46
- DM
3
h-index
- RC
3
h-index
- SJ
3
h-index
- TL
2
h-index
- XZ
1
h-index
1–5 of 46
Institutions
20
Fordham University
New York, United States
3 h-index
12 publications
168 citations
Purdue University West Lafayette
West Lafayette, United States
2 h-index
9 publications
313 citations
Georgia Institute of Technology
Atlanta, United States
2 h-index
4 publications
72 citations
Henry Ford Hospital
Detroit, United States
1 h-index
2 publications
52 citations
Nanjing University
Nanjing, China
1 h-index
1 publications
20 citations
St. Vincent's Birmingham
Birmingham, United States
1 h-index
1 publications
26 citations
Université Fédérale de Toulouse Midi-Pyrénées
Toulouse, France
1 h-index
1 publications
29 citations
Hospital Kuala Lumpur
Kuala Lumpur, Malaysia
1 h-index
6 publications
156 citations
1–8 of 20
Venues
- IEEE Transactions on Robotics
1 publications · 26 citations
1
h-index
- International Journal of Applied Engineering and Management Letters
1 publications · 18 citations
1
h-index
- Acta Astronautica
1 publications · 32 citations
1
h-index
- Procedia Computer Science
1 publications · 10 citations
1
h-index
- USENIX Security Symposium
Conference · 1 publications · 39 citations
1
h-index
1–5