Thomas Quaritsch

2 papers in the IJCAI proceedings

IJCAI 2013

Behavioral Diagnosis of LTL Specifications at Operator Level

with Ingo Pill

Details PDF

The Route to Success - A Performance Comparison of Diagnosis Algorithms

with Iulia Nica, Ingo Pill, Franz Wotawa

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings