Institute of Formal Models and Verification

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
OPTIM-AI: Hybridization of Optimization and Artificial Intelligence Techniques for Managerial Decision Making
Biere, A. (Researcher) & Sinnl, M. (PI)
01.10.2020 → 31.12.2021
Project: Funded research › Federal / regional / local authorities
Logical Methods in Computer Science - Periode II (DK W-1255)
Biere, A. (PI) & Seidl, M. (PI)
01.03.2018 → 28.02.2023
Project: Funded research › FWF - Austrian Science Fund

Advanced Reasoning Techniques for Quantified Boolean Formulas
Plank, A., Sept 2025, 118 p.
Research output: Thesis › Doctoral thesis
An autonomous drone swarm for detecting and tracking anomalies among dense vegetation
Amala Arokia Nathan, R. J., Strand, S., Mehrwald, D., Shutin, D. & Bimber, O., 27 Nov 2025, In: Communications Engineering. 4, 1, 12 p., 205.
Research output: Contribution to journal › Article › peer-review

Open Access
Deep integration of SAT solving and model checking
Froleyks, N., Jul 2025, 170 p.
Research output: Thesis › Doctoral thesis

CAV Distinguished Paper Award
Froleyks, N. (Recipient), Yu, E. (Recipient), Preiner, M. (Recipient), Biere, A. (Recipient) & Heljanko, K. (Recipient), Jul 2025
Prize: Prize, award or honor

Organisation profile