Quaritsch, Thomas

2 publications

IJCAI 2013 Behavioral Diagnosis of LTL Specifications at Operator Level Ingo Pill, Thomas Quaritsch

IJCAI 2013 The Route to Success - A Performance Comparison of Diagnosis Algorithms Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa