%0 Conference Paper %1 conf/eucc/LavaeiSZ19 %A Lavaei, Abolfazl %A Soudjani, Sadegh %A Zamani, Majid %B ECC %D 2019 %I IEEE %K dblp %P 2802-2807 %T Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. %U http://dblp.uni-trier.de/db/conf/eucc/eucc2019.html#LavaeiSZ19 %@ 978-3-907144-00-8

@inproceedings{conf/eucc/LavaeiSZ19, added-at = {2019-08-22T00:00:00.000+0200}, author = {Lavaei, Abolfazl and Soudjani, Sadegh and Zamani, Majid}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27808729d998e9894f7b2545cc1b04451/dblp}, booktitle = {ECC}, crossref = {conf/eucc/2019}, ee = {https://doi.org/10.23919/ECC.2019.8795996}, interhash = {cc5814f68d51be892c57b0a883395e89}, intrahash = {7808729d998e9894f7b2545cc1b04451}, isbn = {978-3-907144-00-8}, keywords = {dblp}, pages = {2802-2807}, publisher = {IEEE}, timestamp = {2019-09-27T14:09:34.000+0200}, title = {Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.}, url = {http://dblp.uni-trier.de/db/conf/eucc/eucc2019.html#LavaeiSZ19}, year = 2019 }