Title :
In pursuit of a hidden evader
Author :
Paolo A.G. Sivilotti استاد راهنما
University :
OhioLINK ETD
Major :
Doctor of Philosophy )Ohio State University, Computer and Information Science(
Keyword :
model checking , Unmanned Aerial Vehicle , Pursuer-evader game
