28 citations · 92 across the 14 of their papers we have counts for
1 paper · 1 filter
Dara MacConville, Marie Farrell, Matt Luckcuck +1
Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on mor…