3 citations · 3 across the 3 of their papers we have counts for
4 papers
Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications
Igor Cizelj, Calin Belta
We propose a human-supervised control synthesis method for a stochastic Dubins vehicle such that the probability of satisfying a specification given as a formula in a fragment of P…
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…
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…
Probabilistically Safe Vehicle Control in a Hostile Environment
Igor Cizelj, Xu Chu Ding, Morteza Lahijanian +2
In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission object…