PPaperPicks

Anna Lukina

4 papers at tracked venues · 2 at CORE A* · active 2025–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2AAMAS ×1IJCAI ×1

Frequent coauthors

Florent Delgrange
DBLP profile ↗ORCID search ↗
×1
Emir Demirovic
DBLP profile ↗ORCID search ↗
×1
Grigory Neustroev
DBLP profile ↗ORCID search ↗
×1
Sterre Lutz
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Composing Reinforcement Learning Policies, with Formal Guarantees
    AAMAS 2025 ·
    Florent Delgrange
    DBLP profile ↗ORCID search ↗
  2. In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
    AAAI 2025 ·
    Emir Demirovic
    DBLP profile ↗ORCID search ↗
  3. Neural Continuous-Time Supermartingale Certificates
    AAAI 2025 ·
    Grigory Neustroev
    DBLP profile ↗ORCID search ↗
  4. VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
    IJCAI 2025 ·
    Sterre Lutz
    DBLP profile ↗ORCID search ↗