Raymon Onis - Hacking Continuous Probability Distributions into Pieces

author:Raymon Onis
title:Hacking Continuous Probability Distributions into Pieces
keywords:
topics:Dependability, security and performance, Algorithms and Data Structures
committee:Dr. A. Hartmanns
graduation date:1 July 2016


Abstract

References

  1. Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods in System Design 43(2): 191-232 (2013)
  2. Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns: Reachability and Reward Checking for Stochastic Timed Automata. ECEASST 70 (2014)
  3. Arnd Hartmanns, Holger Hermanns: The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. TACAS 2014: 593-598