ML Anthology
Authors
Search
About
Wotawa, Franz
8 publications
AAAI
2020
Efficient Model-Based Diagnosis of Sequential Circuits
Alexander Feldman
,
Ingo Pill
,
Franz Wotawa
,
Ion Matei
,
Johan de Kleer
IJCAI
2015
Diagnosis of Technical Systems
Roxane Koitz
,
Franz Wotawa
IJCAI
2013
The Route to Success - A Performance Comparison of Diagnosis Algorithms
Iulia Nica
,
Ingo Pill
,
Thomas Quaritsch
,
Franz Wotawa
AAAI
2006
A Causal Analysis Method for Concurrent Hybrid Automata
Michael W. Hofbaur
,
Franz Wotawa
IJCAI
2005
Detecting and Locating Faults in the Control Software of Autonomous Mobile Robots
Gerald Steinbauer
,
Franz Wotawa
IJCAI
2003
Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems
Markus Stumptner
,
Franz Wotawa
IJCAI
1999
Debugging Functional Programs
Markus Stumptner
,
Franz Wotawa
IJCAI
1997
Diagnosing Tree Structured Systems
Markus Stumptner
,
Franz Wotawa