%0 Conference Paper %1 conf/ifm/DArgenioHLS16 %A D'Argenio, Pedro R. %A Hartmanns, Arnd %A Legay, Axel %A Sedwards, Sean %B IFM %D 2016 %E Ábrahám, Erika %E Huisman, Marieke %I Springer %K %P 99-114 %T Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#DArgenioHLS16 %V 9681 %@ 978-3-319-33692-3

@inproceedings{conf/ifm/DArgenioHLS16, added-at = {2023-12-13T07:55:40.000+0100}, author = {D'Argenio, Pedro R. and Hartmanns, Arnd and Legay, Axel and Sedwards, Sean}, biburl = {https://www.bibsonomy.org/bibtex/2014fa4e613e91caa15563727ae3b4907/admin}, booktitle = {IFM}, crossref = {conf/ifm/2016}, editor = {Ábrahám, Erika and Huisman, Marieke}, ee = {https://doi.org/10.1007/978-3-319-33693-0_7}, interhash = {bef125939c1a96597575db6e7d1ae50b}, intrahash = {014fa4e613e91caa15563727ae3b4907}, isbn = {978-3-319-33692-3}, keywords = {}, pages = {99-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:55:40.000+0100}, title = {Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#DArgenioHLS16}, volume = 9681, year = 2016 }