Projekte pro Jahr
Fingerprint
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Projekte
- 1 Laufend
-
SAL-DC: Silicon Austria Labs Doctoral College
Bernhard, H., Hofbauer, C. & Pill, I.
1/01/19 → …
Projekt: Forschung
Datei
-
Reinforcement learning under partial observability guided by learned environment models
Muskardin, E., Pill, I., Tappler, M. & Aichernig, B. K., Sep. 2023, 18th International Conference on integrated Formal Methods. LNCS Aufl. Springer, Band 14300.Publikation: Konferenzband/Beitrag in Buch/Bericht › Konferenzartikel › Begutachtung
-
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.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
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, S. 6915-6916 2 S., 6.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Learning Finite State Models from Recurrent Neural Networks
Muskardin, E., Graz, T., Pill, I. & Graz, T., Mai 2022, IFM 2022: Integrated Formal Methods : International Conference on Integrated Formal Methods.Publikation: Konferenzband/Beitrag in Buch/Bericht › Konferenzartikel › Begutachtung
-
Pursuing Intelligent Behavior in Cyber−Physical Systems by Lightweight Diagnosis
Zimmermann, M., Wotawa, F. & Pill, I., 2022, in: Advanced Intelligent Systems. 4, 4, 11 S., 2100224.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access
Auszeichnungen
-
-
-
-
-
Best Paper Award SEFM'21
Tappler, Martin (Empfänger/-in), Muskardin, Edi (Empfänger/-in), Aichernig, Bernhard (Empfänger/-in) & Pill, Ingo (Empfänger/-in), 2021
Auszeichnung
Aktivitäten
-
Connecting Verification & Diagnosis:Using Spectrum-based Fault Localization for Diagnostic Purposes
Ingo Pill (Redner)
25 Apr. 2023Aktivität: Präsentation oder Vortrag › Geladener Gastvortrag
-
34th International Workshop on Principles of Diagnosis (DX'23)
Ingo Pill (Mitgliedschaft in Programmausschüssen)
2023Aktivität: Teilnahme an oder Organisation einer Veranstaltung › TPC Member
-
SAL Symposium on 6G
Ingo Pill (Teilnehmer)
2023Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Organisation einer Konferenz, einem Workshop
-
34th International Workshop on Principles of Diagnosis (DX'23)
Ingo Pill (Vorsitzender)
2023Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Organisation einer Konferenz, einem Workshop
-
32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)
Ingo Pill (Mitgliedschaft in Programmausschüssen)
2023Aktivität: Teilnahme an oder Organisation einer Veranstaltung › TPC Member