133 citations · 155 across the 27 of their papers we have counts for
1 paper · 2 filters
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Nir Piterman +2
Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and…