PPaperPicks

Tobias Meggendorfer

3 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1OOPSLA ×1

Frequent coauthors

Krishnendu Chatterjee
×2
Dorde Zikelic
×2
Maximilian Weininger
×1
Patrick Wienhöft
×1
S. Akshay
×1
Amir Kafshdar Goharshady
×1

Papers

  1. Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
    AAAI 2025 · Tobias Meggendorfer,
    Maximilian Weininger
    ,
    Patrick Wienhöft
  2. Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
    IJCAI 2024 ·
    S. Akshay
    ,
    Krishnendu Chatterjee
    , Tobias Meggendorfer,
    Dorde Zikelic
  3. Quantitative Bounds on Resource Usage of Probabilistic Programs
    OOPSLA 2024 ·
    Krishnendu Chatterjee
    ,
    Amir Kafshdar Goharshady
    , Tobias Meggendorfer,
    Dorde Zikelic