@inproceedings{5669d60e935c4a6a83d4d4c333884475,
title = "A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem",
author = "I Tkachev and A Abate",
note = "NEO; IEEE CDC 2013, Florence, Italy ; Conference date: 10-12-2013 Through 13-12-2013",
year = "2013",
doi = "10.1109/CDC.2013.6760373",
language = "English",
isbn = "978-1-4673-5714-2",
publisher = "IEEE",
pages = "3211--3216",
editor = "AL Tits and A Serrani and T Parisini",
booktitle = "Proceedings of the IEEE 52nd Annual Conference on Decisions and Control",
address = "United States",
}