Decision tree learning is a popular classification technique most commonly used in machine
learning applications. Recent work has shown that decision trees can be used to represent …

Classifier ensembles have emerged in recent years as a promising research area for
boosting pattern recognition systems' performance. We present a new base classifier that …

Controllers are central objects in many model checking and synthesis processes. They can
not only be used for implementation, but also have the potential to reveal insights about the …

For safety-critical applications, model checking tools can verify safety criteria of systems and
synthesize correct-by-design controllers. Instead of representing these controllers with huge …