Image credit: Unsplash
After nearly two years of peer review, the paper 'Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications' has finally been accpeted for the publication in `IEEE Transaction on Automatic Control`.