Refinement
Related papers: 3
Top Researchers
Top Cited Papers
Using formal methods for autonomous systems: Five recipes for formal verification
Citations: 13 • 2021
Formal specification, refinement, and implementation of path planning
Eman Rabiah Rabiah, Boumediene Belkhouche
Citations: 4 • 2016
Formal requirement and architecture specifications of a multi-agent robotic system
Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
Citations: 2 • 2015