Research output
- 1 Conference proceedings
-
Extending AALpy with Passive Learning: A Generalized State-Merging Approach
von Berg, B. & Aichernig, B., 23 Jul 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Piskac, R. & Rakamaric, Z. (eds.). 1 ed. Springer Nature, p. 127-140 14 p. (Lecture Notes in Computer Science (LNCS); vol. 15931).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access
Projects
- 1 Active
-
Cluster of Excellence "Bilateral Artificial Intelligence"
Fürnkranz, J. (PI), Hochreiter, S. (PI), Klambauer, G. (PI), Schedl, M. (PI), Seidl, M. (PI), Widmer, G. (PI), Brandstetter, J. (PI), Kobler, E. (PI), Aichernig, B. (PI), Heisinger, M. (Researcher), Hoedt, P.-J. (Researcher), Pfeiffer, P. (Researcher), Plank, A. (Researcher), Radler, A. (Researcher), Rebola Pardo, A. (Researcher), Lin, W. (Researcher), Eckert, H. (Researcher), Cranganore, S. S. (Researcher), Hartl, A.-R. (Researcher), Plasser, M. (Researcher), Pammer, T. (Researcher), Tommasel, A. (Researcher), Nawaz, S. (Researcher), Masoudian, S. (Researcher) & Freinschlag, R. (Researcher)
01.10.2024 → 30.09.2029
Project: Funded research › FWF - Austrian Science Fund
Activities
-
Examiner in the PhD Defence of Andreas Plank on "Advanced Reasoning Techniques for Quantified Boolean Formulas" supervised by Martina Seidl
Aichernig, B. (Expert)
18 Nov 2025Activity: Expert activities › Expert activity for dissertations and habilitations
-
ICGI 2026, the 17th International Conference on Grammatical Inference (Event)
Aichernig, B. (Member)
14 Nov 2025 → 15 Apr 2026Activity: Membership/Function › Program committee
-
Formal Verification of AI-based Code Generation in Model-Driven Development
Aichernig, B. (Speaker) & Lorber, F. (Speaker)
04 Nov 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Time to Learn and Check - Enhancing Timed Automata Learning with Model Checking
Aichernig, B. (Speaker) & Lorber, F. (Speaker)
02 Nov 2025Activity: Talk or presentation › Invited talk › science-to-science
-
NFM 2026 - 18th NASA Formal Methods Symposium (Event)
Aichernig, B. (Member)
13 Oct 2025 → 07 May 2026Activity: Membership/Function › Program committee