@articleEllen2014statistical, Author = {Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin},Title = {Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains},Journal = {International Journal on Software Tools for Technology Transfer},Year = {2014},Pages = {1-20},Doi = {10.1007/s10009-014-0329-y},Url = {http://dx.doi.org/10.1007/s10009-014-0329-y},type = {article} @COMMENTBibtex file generated on