Bernhard Aichernig

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.). Springer Nature, Vol. Volume 15934. 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

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

Research output