Controller design under safety specifications for a class of bounded hybrid automata

by Hoehener, Daniel Andreas, Del Vecchio, Domitilla
Published 2018

Stochastic hybrid models for predicting the behavior of drivers facing the yellow-light-dilemma

by Green, Paul A., Hoehener, Daniel Andreas, Del Vecchio, Domitilla
Published 2017

Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results

by Forghani Oozroody, Mojtaba, McNew, John M., Hoehener, Daniel, Del Vecchio, Domitilla
Published 2015

Safety control of a class of stochastic order preserving systems with application to collision avoidance near stop signs

by McNew, John M., Forghani Oozroody, Mojtaba, Hoehener, Daniel Andreas, Del Vecchio, Domitilla
Published 2018

Design of Driver-Assist Systems Under Probabilistic Safety Specifications Near Stop Signs

by McNew, John M., Forghani Oozroody, Mojtaba, Hoehener, Daniel Andreas, Del Vecchio, Domitilla
Published 2017