Books © Copyright: (c)Lukas Netz - Do not use without my permission.

UnRAVeL publishes all doctoral theses, contributions to conference proceedings and books, journal articles

more...zu: Publications


Dissertation Projects

The focus of UNRAVEL is to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-supported verification techniques, and to apply them to core problems of security, planning, and safety and performance analysis. 

more...zu: Dissertation Projects