A stochastic reach-avoid problem with random obstacles
From MaRDI portal
Publication:2986736
DOI10.1145/1967701.1967738zbMath1364.93870OpenAlexW2117832167MaRDI QIDQ2986736
Claire J. Tomlin, Sean Summers, Maryam Kamgarpour, John Lygeros
Publication date: 16 May 2017
Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1967701.1967738
Related Items
A stochastic games framework for verification and control of discrete time stochastic hybrid systems ⋮ Stochastic system controller synthesis for reachability specifications encoded by random sets ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ Lagrangian approximations for stochastic reachability of a target tube