%0 Conference Paper %1 journals/corr/abs-2311-09786 %A Badings, Thom S. %A Jansen, Nils %A Romao, Licio %A Abate, Alessandro %B FMAS@iFM %D 2023 %E Farrell, Marie %E Luckcuck, Matt %E Gleirscher, Mario %E Schwammberger, Maike %K dblp %P 144-152 %T Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs395.html#abs-2311-09786 %V 395

@inproceedings{journals/corr/abs-2311-09786, added-at = {2024-05-07T00:00:00.000+0200}, author = {Badings, Thom S. and Jansen, Nils and Romao, Licio and Abate, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2c8b6a501c4e129a3cb2cef5a145108fd/dblp}, booktitle = {FMAS@iFM}, crossref = {journals/corr/abs-2311-08987}, editor = {Farrell, Marie and Luckcuck, Matt and Gleirscher, Mario and Schwammberger, Maike}, ee = {https://doi.org/10.48550/arXiv.2311.09786}, interhash = {a9b7856ba201343285db7396de47c441}, intrahash = {c8b6a501c4e129a3cb2cef5a145108fd}, keywords = {dblp}, pages = {144-152}, series = {EPTCS}, timestamp = {2024-05-13T08:00:29.000+0200}, title = {Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs395.html#abs-2311-09786}, volume = 395, year = 2023 }