conf.researchr.org / Ingo Pill
Registered user since Tue 9 Apr 2024
Name:Ingo Pill
Country:Austria
Affiliation:Institute of Software Technology, Graz University of Technology
Personal website: http://www.ist.tugraz.at/pill
Research interests:Diagnosis, AI, Resilience, Verification, Temporal Logics, Automata
Contributions