Konstantin Kueffner

Identifiers

• name variant Konstantin Kueffner 0.60 · backfill

Papers (3)

1. Monitoring Discounted Sum Properties cs.FL · 2026 · author #3
2. Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes cs.AI · 2026 · author #1
3. Energy Shields for Fairness cs.AI · 2026 · author #3

Mentions

• 2606.25979 #3 · arxiv_oai · confidence 0.70 Konstantin Kueffner
• 2606.25797 #1 · arxiv_oai · confidence 0.70 Konstantin Kueffner
• 2605.24926 #3 · arxiv_oai · confidence 0.70 Konstantin Kueffner

Frequent Coauthors

• Filip Cano 2 shared papers
• Thomas A. Henzinger 2 shared papers
• Maximilian Weininger 1 shared papers
• N. Ege Sara\c{c} 1 shared papers
• Patrick Wienh\"oft 1 shared papers
• Tobias Meggendorfer 1 shared papers