Anna Lukina

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 AAMAS ×1 IJCAI ×1

Frequent coauthors

Christian Schilling

×2

Florent Delgrange

×1

Guy Avni

×1

Ann Nowé

×1

Guillermo A. Pérez

×1

Emir Demirovic

×1

Grigory Neustroev

×1

Mirco Giacobbe

×1

Sterre Lutz

×1

Matthijs T. J. Spaan

×1

Papers

Composing Reinforcement Learning Policies, with Formal Guarantees
AAMAS 2025 ·
Florent Delgrange
,
Guy Avni
, Anna Lukina,
Christian Schilling
,
Ann Nowé
,
Guillermo A. Pérez
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
AAAI 2025 ·
Emir Demirovic
,
Christian Schilling
, Anna Lukina
Neural Continuous-Time Supermartingale Certificates
AAAI 2025 ·
Grigory Neustroev
,
Mirco Giacobbe
, Anna Lukina
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
IJCAI 2025 ·
Sterre Lutz
,
Matthijs T. J. Spaan
, Anna Lukina