3 citations · 3 across the 3 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.RO2012
Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications
Igor Cizelj, Calin Belta
We address the problem of controlling a noisy differential drive mobile robot such that the probability of satisfying a specification given as a Bounded Linear Temporal Logic (BLTL…
cs.RO2012★ 3 cited
Probabilistically Safe Control of Noisy Dubins Vehicles
Igor Cizelj, Calin Belta
We address the problem of controlling a stochastic version of a Dubins vehicle such that the probability of satisfying a temporal logic specification over a set of properties at th…