40 citations · 84 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SY2023
Guaranteed approximations of arbitrarily quantified reachability problems
Eric Goubault, Sylvie Putot
We propose an approach to compute inner and outer-approximations of the sets of values satisfying constraints expressed as arbitrarily quantified formulas. Such formulas arise for…
cs.RO2023
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane
Maria Costa Vianna, Eric Goubault, Luc Jaulin +1
This paper presents a method for determining the area explored by a line-sweep sensor during an area-covering mission in a two-dimensional plane. Accurate knowledge of the explored…