7 citations · 16 across the 6 of their papers we have counts for
1 paper · 1 filter
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…