PPaperPicks

Thomas A. Henzinger

6 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2CCS ×1FM ×1ICRA ×1SIGKDD ×1

Frequent coauthors

Emily Yu
×2
Konstantin Kueffner
×2
Kaushik Mallik
×2
Marek Chalupa
×1
N. Ege Saraç
×1
Filip Cano
×1
Bettina Könighofer
×1
Ashutosh Gupta
×1
David Pape
×1
Dorde Zikelic
×1
Mahyar Karimi
×1
K. S. Thejaswini
×1

Papers

  1. Quantitative Monitoring of Signal First-Order Logic
    FM 2026 ·
    Marek Chalupa
    , Thomas A. Henzinger,
    N. Ege Saraç
    ,
    Emily Yu
  2. Fairness Shields: Safeguarding against Biased Decision Makers
    AAAI 2025 ·
    Filip Cano
    , Thomas A. Henzinger,
    Bettina Könighofer
    ,
    Konstantin Kueffner
    ,
    Kaushik Mallik
  3. Monitoring Robustness and Individual Fairness
    SIGKDD 2025 ·
    Ashutosh Gupta
    , Thomas A. Henzinger,
    Konstantin Kueffner
    ,
    Kaushik Mallik
    ,
    David Pape
  4. Neural Control and Certificate Repair via Runtime Monitoring
    AAAI 2025 ·
    Emily Yu
    ,
    Dorde Zikelic
    , Thomas A. Henzinger
  5. Privacy-Preserving Runtime Verification
    CCS 2025 · Thomas A. Henzinger,
    Mahyar Karimi
    ,
    K. S. Thejaswini
  6. Overparametrization helps offline-to-online generalization of closed-loop control from pixels
    ICRA 2024 ·
    Mathias Lechner
    ,
    Ramin M. Hasani
    ,
    Alexander Amini
    ,
    Tsun-Hsuan Wang
    , Thomas A. Henzinger,
    Daniela Rus