@incollectionFr, Author = {Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter}, Title = {Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems}, Year = {2015}, Pages = {93-107}, Editor = {Sankaranarayanan, Sriram and Vicario, Enrico}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Edition = {9268}, Booktitle = {Formal Modeling and Analysis of Timed Systems}, Doi = {10.1007/978-3-319-22975-1_7}, Url = {http://dx.doi.org/10.1007/978-3-319-22975-1_7}, type = {incollection} @COMMENTBibtex file generated on