Kyle Thompson

According to our database, Kyle Thompson authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses.

Ruben Gamboa, Panagiotis Manolios, Eric Whitman Smith, Kyle Thompson

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

2022

UavSim: An Open-Source Simulator for Multiple UAV Path Planning.

Kyle Thompson, Franz J. Kurfess, Dominik Walter, Roman Maksymiuk, Roey Mevorach, Gaurav Joshi

Proceedings of the 18th International Conference on Distributed Computing in Sensor Systems, 2022