1 citations · 1 across the 10 of their papers we have counts for
3 papers · 1 filter
Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
In this work, we focus on safety verification of stochastic systems in dynamic environments. We introduce both time-invariant and time-varying barrier certificates for discrete-tim…
Temporal Logic Motion Control using Actor-Critic Methods
Xu Chu Ding, Jing Wang, Morteza Lahijanian +2
In this paper, we consider the problem of deploying a robot from a specification given as a temporal logic statement about some properties satisfied by the regions of a large, part…
Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control
Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian +3
We consider the problem of finding a control policy for a Markov Decision Process (MDP) to maximize the probability of reaching some states while avoiding some other states. This p…