Maier, Alexander

2 publications

AAAI 2019 Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory Alexander Diedrich, Alexander Maier, Oliver Niggemann

AAAI 2012 Learning Behavior Models for Hybrid Timed Systems Oliver Niggemann, Benno Stein, Asmir Vodencarevic, Alexander Maier, Hans Kleine Büning