Paulo Canelas

Is it a Bug? Understanding Physical Unit Mismatches in Robot Software

Robot software is abundant with variables that represent real-world physical units (e.g., meters, seconds). Operations over different units (e.g., adding meters and seconds) may be incorrect and can lead to dangerous system misbehaviors; manually detecting such mistakes is challenging. Current softw…