%0 Conference Paper %1 conf/valuetools/DelicarisSSR23 %A Delicaris, Joanna %A Stübbe, Jonas %A Schupp, Stefan %A Remke, Anne %B VALUETOOLS %D 2023 %E Kalyvianaki, Evangelia %E Paolieri, Marco %I Springer %K dblp %P 170-182 %T RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/valuetools/valuetools2023.html#DelicarisSSR23 %V 539 %@ 978-3-031-48885-6

@inproceedings{conf/valuetools/DelicarisSSR23, added-at = {2024-02-10T00:00:00.000+0100}, author = {Delicaris, Joanna and Stübbe, Jonas and Schupp, Stefan and Remke, Anne}, biburl = {https://www.bibsonomy.org/bibtex/28e6e67ac8d3059d4f75214bedeafdd25/dblp}, booktitle = {VALUETOOLS}, crossref = {conf/valuetools/2023}, editor = {Kalyvianaki, Evangelia and Paolieri, Marco}, ee = {https://doi.org/10.1007/978-3-031-48885-6_11}, interhash = {f07f9610d53ea31c2842407b2fac1bb8}, intrahash = {8e6e67ac8d3059d4f75214bedeafdd25}, isbn = {978-3-031-48885-6}, keywords = {dblp}, pages = {170-182}, publisher = {Springer}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, timestamp = {2024-04-09T17:01:41.000+0200}, title = {RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/valuetools/valuetools2023.html#DelicarisSSR23}, volume = 539, year = 2023 }