Anna Lukina
Scholar

Anna Lukina

Google Scholar ID: ztyK2toAAAAJ
Assistant professor at TU Delft
control synthesisverificationmonitoringlearned systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
590
 
H-index
8
 
i10-index
8
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
3 items
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
2025
Cited
0
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
arXiv.org · 2024
Cited
0
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
11 total
Radu Grosu
Radu Grosu
Professor of Computer Science
Scott A. Smolka
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Christian Schilling
Christian Schilling
Associate Professor at Aalborg University
Thomas Henzinger
Thomas Henzinger
IST Austria
Emir Demirović
Emir Demirović
Assistant Professor of Computer Science, Delft University of Technology
Ashish Tiwari
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
axel legay
axel legay
TRAXXEO
Lukas Esterle
Lukas Esterle
Associate Professor, Aarhus University