%0 Journal Article %1 journals/tac/CubuktepeJJKT22 %A Cubuktepe, Murat %A Jansen, Nils %A Junges, Sebastian %A Katoen, Joost-Pieter %A Topcu, Ufuk %D 2022 %J IEEE Trans. Autom. Control. %K dblp %N 12 %P 6333-6348 %T Convex Optimization for Parameter Synthesis in MDPs. %U http://dblp.uni-trier.de/db/journals/tac/tac67.html#CubuktepeJJKT22 %V 67

@article{journals/tac/CubuktepeJJKT22, added-at = {2022-12-25T00:00:00.000+0100}, author = {Cubuktepe, Murat and Jansen, Nils and Junges, Sebastian and Katoen, Joost-Pieter and Topcu, Ufuk}, biburl = {https://www.bibsonomy.org/bibtex/23e3d9170cc432ba9ff435caef1d4a4b0/dblp}, ee = {https://doi.org/10.1109/TAC.2021.3133265}, interhash = {d15c9c9bd9e47e1ad68dbb987cb46517}, intrahash = {3e3d9170cc432ba9ff435caef1d4a4b0}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 12, pages = {6333-6348}, timestamp = {2024-04-08T17:31:50.000+0200}, title = {Convex Optimization for Parameter Synthesis in MDPs.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac67.html#CubuktepeJJKT22}, volume = 67, year = 2022 }