Refinement
相关论文数: 3
顶级研究者
最高引用论文
Using formal methods for autonomous systems: Five recipes for formal verification
引用数: 13 • 2021
Formal specification, refinement, and implementation of path planning
Eman Rabiah Rabiah, Boumediene Belkhouche
引用数: 4 • 2016
Formal requirement and architecture specifications of a multi-agent robotic system
Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
引用数: 2 • 2015