%0 Journal Article %1 journals/automatica/SalamatiLSZ24 %A Salamati, Ali %A Lavaei, Abolfazl %A Soudjani, Sadegh %A Zamani, Majid %D 2024 %J Autom. %K dblp %P 111323 %T Data-driven verification and synthesis of stochastic systems via barrier certificates. %U http://dblp.uni-trier.de/db/journals/automatica/automatica159.html#SalamatiLSZ24 %V 159

@article{journals/automatica/SalamatiLSZ24, added-at = {2024-01-03T00:00:00.000+0100}, author = {Salamati, Ali and Lavaei, Abolfazl and Soudjani, Sadegh and Zamani, Majid}, biburl = {https://www.bibsonomy.org/bibtex/284aa14aa5f89850f55b0bb0a76f4914b/dblp}, ee = {https://doi.org/10.1016/j.automatica.2023.111323}, interhash = {62b537c73c792a4ff4eb8acee019b614}, intrahash = {84aa14aa5f89850f55b0bb0a76f4914b}, journal = {Autom.}, keywords = {dblp}, month = {January}, pages = 111323, timestamp = {2024-04-08T18:04:03.000+0200}, title = {Data-driven verification and synthesis of stochastic systems via barrier certificates.}, url = {http://dblp.uni-trier.de/db/journals/automatica/automatica159.html#SalamatiLSZ24}, volume = 159, year = 2024 }