Konstantin Kueffner
Scholar

Konstantin Kueffner

Google Scholar ID: 29JnQ50AAAAJ
PhD Candidate, Institute of Science and Technology Austria
Formal MethodsRuntime VerificationStatisticsMachine LearningFairness
Google Scholar↗
Citations & Impact
All-time
Citations
79
 
H-index
4
 
i10-index
2
 
Publications
15
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
8 items
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
2026
Cited
0
Monitoring Discounted Sum Properties
2026
Cited
0
Energy Shields for Fairness
2026
Cited
0
Alignment Monitoring
2025
Cited
0
Algorithmic Fairness: A Runtime Perspective
2025
Cited
0
Formal Verification of Neural Certificates Done Dynamically
2025
Cited
0
Monitoring of Static Fairness
2025
Cited
0
Monitoring Robustness and Individual Fairness
2025
Cited
0
Resume (English only)
Co-authors
9 total
Thomas Henzinger
Thomas Henzinger
IST Austria
Kaushik Mallik
Kaushik Mallik
IMDEA Software Institute
Mahyar Karimi
Mahyar Karimi
Ph.D. student, IST Austria
Filip Cano Córdoba
Filip Cano Córdoba
Institute of Science and Technology Austria
Bettina Könighofer
Bettina Könighofer
Assistant Professor, Graz University of Technology, Austria
Christian Schilling
Christian Schilling
Associate Professor at Aalborg University
Anna Lukina
Anna Lukina
Assistant professor at TU Delft
Mark Strembeck
Mark Strembeck
WU Vienna