Sign in
Michael Jump
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Aerial Imagery
Alternating Time Temporal Logic
Model Checking
Pspace Complete
Top Venues
SMC
Infotech@Aerospace
</>
Publications
</>
Elias J. Griffith
,
Yuan Chi
,
Michael Jump
,
Jason F. Ralph
Equivalence of BRISK Descriptors for the Registration of Variable Bit-Depth Aerial Imagery.
SMC
(2013)
Matt Webster
,
Neil Cameron
,
Michael Jump
,
Michael Fisher
Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation.
Infotech@Aerospace
(2012)