Pill, Ingo

4 publications

AAAI 2020 Efficient Model-Based Diagnosis of Sequential Circuits Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer

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

IJCAI 2011 Belief Management for High-Level Robot Programs Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein