Login / Signup
Eman Rabiah
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Specification Languages
Navigation Tasks
Dynamic And Uncertain Environments
Path Planner
Top Venues
IIT
</>
Publications
</>
Eman Rabiah
,
Boumediene Belkhouche
Formal specification, refinement, and implementation of path planning.
IIT
(2016)