The formal analysis of critical systems is supported by a vast space of modelling formalisms
and tools. The variety of incompatible formats and tools however poses a significant …

Decision diagrams, such as binary decision diagrams, multi-terminal binary decision
diagrams and multi-valued decision diagrams, play an important role in various fields. They …

Quantitative formal models capture probabilistic behaviour, real-time aspects, or general
continuous dynamics. A number of tools support their automatic analysis with respect to …

Quantitative verification tools compute probabilities, expected rewards, or steady-state
values for formal models of stochastic and timed systems. Exact results often cannot be …

Binary decision diagrams (BDD) have been proposed for numerous product-line analyses.
These analyses typically exploit properties unique to decision diagrams, such as negation in …

The TBUDDY library enables the construction and manipulation of reduced, ordered binary
decision diagrams (BDDs). It extends the capabilities of the BUDDY BDD package to …

As a new programming paradigm, neural-network-based machine learning has expanded
its application to many real-world problems. Due to the black-box nature of neural networks …

In recent years the study of Atheism has grown in popularity, leading to both positive and
negative results. On one end, this has engendered a polyvocal and polyfocal discourse …

This thesis studies the parallelization of decision diagrams, a fundamental data-structure
with applications in many fields, in particular symbolic model checking. Research into …

Symbolic representations have attracted significant attention in optimal planning. Binary
Decision Diagrams (BDDs) form the basis for symbolic search algorithms. Closely related …