Login / Signup
Dustin Crayton
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Monitoring System
Knowledge Acquisition
Formal Methods
Object Recognition
Top Venues
SysCon
</>
Publications
</>
Negin Moghadasi
,
Amar Kulkarni
,
Dustin Crayton
,
Robert J. Grissom
,
James H. Lambert
,
Lu Feng
Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring.
SysCon
(2023)