Publications

Books

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

more...zu: Publications

 

Dissertation Projects

image idea

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