Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Active
-
SAL-DC: Silicon Austria Labs Doctoral College
Bernhard, H., Hofbauer, C. & Pill, I.
1/01/19 → …
Project: Research
File
-
Reinforcement learning under partial observability guided by learned environment models
Muskardin, E., Pill, I., Tappler, M. & Aichernig, B. K., Sept 2023, 18th International Conference on integrated Formal Methods. LNCS ed. Springer, Vol. 14300.Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review
-
AALpy: an active automata learning library (Extended Version)
Muskardin, E., Aichernig, B. K., Pill, I., Pferscher, A. & Tappler, M., 2022, In: Innovations in Systems and Software Engineering.Research output: Contribution to journal › Article › peer-review
-
Editorial "special issue on artificial intelligence in practice - from theory to application".
Ali, M., Friedrich, G., Pill, I. & Wotawa, F., 2022, In: Applied Intelligence. 52, 6, p. 6915-6916 2 p., 6.Research output: Contribution to journal › Article › peer-review
Open Access -
Learning Finite State Models from Recurrent Neural Networks
Muskardin, E., Graz, T., Pill, I. & Graz, T., May 2022, IFM 2022: Integrated Formal Methods : International Conference on Integrated Formal Methods.Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review
-
Pursuing Intelligent Behavior in Cyber−Physical Systems by Lightweight Diagnosis
Zimmermann, M., Wotawa, F. & Pill, I., 2022, In: Advanced Intelligent Systems. 4, 4, 11 p., 2100224.Research output: Contribution to journal › Article › peer-review
Open Access
Prizes
-
-
-
-
-
Best Paper Award SEFM'21
Tappler, Martin (Recipient), Muskardin, Edi (Recipient), Aichernig, Bernhard (Recipient) & Pill, Ingo (Recipient), 2021
Prize
Activities
-
Connecting Verification & Diagnosis:Using Spectrum-based Fault Localization for Diagnostic Purposes
Ingo Pill (Speaker)
25 Apr 2023Activity: Talk or presentation › Invited talk
-
34th International Workshop on Principles of Diagnosis (DX'23)
Ingo Pill (Member of programme committee)
2023Activity: Participating in or organising an event › TPC Member
-
SAL Symposium on 6G
Ingo Pill (Participant)
2023Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
34th International Workshop on Principles of Diagnosis (DX'23)
Ingo Pill (Chair)
2023Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)
Ingo Pill (Member of programme committee)
2023Activity: Participating in or organising an event › TPC Member