5 citations · 17 across the 6 of their papers we have counts for
1 paper · 2 filters
Simon Foster, Burkhart Wolff
Formal verification of cyber-physical and robotic systems requires that we can accurately model physical quantities that exist in the real-world. The use of explicit units in such…