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
-
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 -
Reinforcement Learning under Partial Observability Guided by Learned Environment Models.
Muskardin, E., Tappler, M., Aichernig, B. K. & Pill, I., 2022, In: CoRR. abs/2206.11708Research output: Contribution to journal › Article
Open Access
Prizes
-
-
-
-
-
Best Paper Award SEFM'21
Tappler, Martin (Recipient), Muskardin, Edi (Recipient), Aichernig, Bernhard (Recipient) & Pill, Ingo (Recipient), 2021
Prize
Activities
-
Dependable-Electronic Based Systems @ SAL: Security
Ingo Pill (Speaker)
24 Nov 2022Activity: Talk or presentation › Invited talk
-
PhD Reviewer, Defense Commissioner and Chair of the Defense Commission
Ingo Pill (Examiner)
23 Nov 2022Activity: Examination
-
SUNRISE: Dependable Sensing for Rocket Drives
Ingo Pill (Speaker)
5 Oct 2022Activity: Talk or presentation › Invited talk
-
Diagnosing Resilience
Ingo Pill (Speaker)
14 Sept 2022Activity: Talk or presentation › Poster Presentation
-
MBD of Sequential Behavior - LTL + ...
Ingo Pill (Speaker)
10 Jan 2022Activity: Talk or presentation › Invited talk