Joseph Giampapa

Papers

Total Citations

H-Index

About

Joseph Giampapa is a researcher in multi-robot systems and probabilistic verification, focusing on the safe and reliable coordination of autonomous agents. His work addresses the critical challenge of ensuring that teams of robots operating in complex, uncertain environments can complete their missions without failure. In his most-cited paper, "Probabilistic Verification of Coordinated Multi-robot Missions" (2013), Giampapa developed formal methods to mathematically guarantee the performance of multi-robot plans, even under unpredictable conditions. This contribution bridges the gap between theoretical verification and practical robotics, enabling more trustworthy autonomous systems. While his citation count of 5 reflects a niche but impactful audience, his research is foundational for advancing the reliability of robotic swarms in applications like search-and-rescue, environmental monitoring, and industrial automation. Giampapa’s work is notable for its rigorous approach to quantifying risk in multi-agent coordination, making him a key figure in the growing field of verifiable autonomy.