PPaperPicks

Simos Gerasimou

5 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ECAI ×1FM ×1FSE ×1NeurIPS ×1

Frequent coauthors

Radu Calinescu
×3
Daniel Bethell
×2
Calum Imrie
×2
Alexandros Evangelidis
×1
Gricel Vázquez
×1
Adriel Sosa Marco
×1
John Daniel Kirwan
×1
Alexia Toumpa
×1
Vladislav Nenchev
×1

Papers

  1. Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
    FSE 2026 ·
    Alexandros Evangelidis
    ,
    Gricel Vázquez
    , Simos Gerasimou
  2. Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
    ECAI 2025 ·
    Daniel Bethell
    , Simos Gerasimou,
    Radu Calinescu
    ,
    Calum Imrie
  3. Uncertainty Quantification for Deep Regression using Contextualised Normalizing Flows
    NeurIPS 2025 ·
    Adriel Sosa Marco
    ,
    John Daniel Kirwan
    ,
    Alexia Toumpa
    , Simos Gerasimou
  4. Code-Level Safety Verification for Automated Driving: A Case Study
    FM 2024 ·
    Vladislav Nenchev
    ,
    Calum Imrie
    , Simos Gerasimou,
    Radu Calinescu
  5. Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction
    AAAI 2024 ·
    Daniel Bethell
    , Simos Gerasimou,
    Radu Calinescu