%0 Journal Article %1 journals/tomacs/SilvaSR23 %A da Silva, Carina %A Schupp, Stefan %A Remke, Anne %D 2023 %J ACM Trans. Model. Comput. Simul. %K dblp %N 4 %P 18:1-18:27 %T Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction. %U http://dblp.uni-trier.de/db/journals/tomacs/tomacs33.html#SilvaSR23 %V 33

@article{journals/tomacs/SilvaSR23, added-at = {2024-01-13T00:00:00.000+0100}, author = {da Silva, Carina and Schupp, Stefan and Remke, Anne}, biburl = {https://www.bibsonomy.org/bibtex/2f4325356e32c3e4f9379ee0cf90419e2/dblp}, ee = {https://doi.org/10.1145/3607197}, interhash = {214da19822e8d9db99d6fb96285ce004}, intrahash = {f4325356e32c3e4f9379ee0cf90419e2}, journal = {ACM Trans. Model. Comput. Simul.}, keywords = {dblp}, month = {October}, number = 4, pages = {18:1-18:27}, timestamp = {2024-04-09T02:13:36.000+0200}, title = {Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction.}, url = {http://dblp.uni-trier.de/db/journals/tomacs/tomacs33.html#SilvaSR23}, volume = 33, year = 2023 }