UAV&V is a cutting-edge tool developed by CISUC at the University of Coimbra. It is designed to enhance the dependability and fault-tolerance of UAV systems through innovative algorithms and comprehensive simulations. Explore our tool, team, and publications to learn more about our contributions to UAV technology.
UAV&V stands for UAV Verification and Validation, offering advanced methods for anomaly detection, fault classification, and dependability analysis in UAV operations. Our goal is to make UAV systems more reliable and robust in various scenarios.
Visit our Implementation Docs for detailed instructions on how to use UAV&V. Check out the source code and explore our publications to see the research behind this tool.