C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kyle Thompson
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Aerial Vehicles
Path Planner
Unknown Environments
Missing Information
Top Venues
CoRR
DCOSS
</>
Publications
</>
Ruben Gamboa
,
Panagiotis Manolios
,
Eric Whitman Smith
,
Kyle Thompson
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses.
CoRR
(2023)
Kyle Thompson
,
Franz J. Kurfess
,
Dominik Walter
,
Roman Maksymiuk
,
Roey Mevorach
,
Gaurav Joshi
UavSim: An Open-Source Simulator for Multiple UAV Path Planning.
DCOSS
(2022)