Research output per year
Research output per year
Fingerprint
Dive into the research topics where A. Lukina is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Preface
Giacobbe, M. & Lukina, A., 2026, AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings. Giacobbe, M. & Lukina, A. (eds.). Cham: Springer, p. v 1 p. (Lecture Notes in Computer Science; vol. 15947 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Foreword/postscript › Scientific
Open AccessFile -
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
Demirović, E., Schilling, C. & Lukina, A., 2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 26, p. 27250-27257 8 p.Research output: Contribution to journal › Conference article › Scientific › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)3 Downloads (Pure) -
Neural Continuous-Time Supermartingale Certificates
Neustroev, G., Giacobbe, M. & Lukina, A., 2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 26, p. 27538-27546 9 p.Research output: Contribution to journal › Conference article › Scientific › peer-review
Open AccessFile5 Link opens in a new tab Citations (Scopus)9 Downloads (Pure) -
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
Lutz, S., Lukina, A. & Spaan, M. T. J., 2025, Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025. Kwok, J. (ed.). p. 457-465 9 p. (IJCAI International Joint Conference on Artificial Intelligence).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile6 Downloads (Pure) -
Combining Runtime Monitoring and Machine Learning with Human Feedback
Lukina, A., 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). American Association for Artificial Intelligence (AAAI), p. 15448-15448 1 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile22 Downloads (Pure)