Dr. A. Lukina
Dr. A. Lukina
Expertise
Publications
-
2023
-
2023
Into the unknown
active monitoring of neural networks (extended version)
Konstantin Kueffner / Anna Lukina / Christian Schilling / Thomas A. Henzinger -
2022
MurTree
Optimal Decision Trees via Dynamic Programming and Search
Emir Demirović / Anna Lukina / Emmanuel Hebrard / Jeffrey Chan / James Bailey / Christopher Leckie / Kotagiri Ramamohanarao / Peter J. Stuckey -
2021
Active Monitoring of Neural Networks
A. Lukina / Christian Schilling / Thomas A. Henzinger
-
Prizes
-
2023-8-3
Veni grant AES 2022
EEMCS researcher Anna Lukina has received a Veni grant within the Exact and Natural Sciences (ENW) research domain. She received it for her research Explainable Monitoring.
Ancillary activities
-
2023-10-27 - 2025-10-27