2.1 CURRENT RESEARCH
My current research program is organized around three main dimensions:
Research
01) Certification of Stochastic Systems
Research
02) Monitoring AI in Deployment
Research
03) Interpretable sequential decision-making
Below are some concrete recent projects. See my research summary (pdf) for more details.
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
authors:
Demirović, E.; Schilling, C.; and Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, pages 27250–27257, 2025.
ISDM
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
authors:
Lutz, S.; Spaan, M. T.; and Lukina, A.
In Proceedings of the 34th International Joint Conference on Artificial Intelligence, 2025.
Stochastic Systems
Composing Reinforcement Learning Policies, with Formal Guarantees
authors:
Delgrange, F.; Avni, G.; Lukina, A.; Schilling, C.; Nowe, A.; and Perez, G.
In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025.
Stochastic Systems
Neural continuous-time supermartingale certificates
authors:
Neustroev, G.; Giacobbe, M.; and Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, pages 27538–27546, 2025. Oral presentation.
Stochastic Systems
AI Verification: First International Symposium
authors:
Avni, G.; Giacobbe, M.; Johnson, T. T; Katz, G.; Lukina, A.; Narodytska, N.; and Schilling, C.
Lecture Notes in Computer Science, 14846: 189. 2024.
ISDM
Safety verification of decision-tree policies in continuous time
authors:
Schilling, C.; Lukina, A.; Demirović, E.; and Larsen, K.
Advances in Neural Information Processing Systems, 36. 2024. Spotlight (top 3%)
ISDM
Into the unknown: active monitoring of neural networks (extended version)
authors:
Kueffner, K.; Lukina, A.; Schilling, C.; and Henzinger, T.
A International Journal on Software Tools for Technology Transfer, 25(4): 575–592. 2023.
AI in Deployment
Murtree: Optimal decision trees via dynamic programming and search
authors:
Demirović, E.; Lukina, A.; Hebrard, E.; Chan, J.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; and Stuckey, P.
In Journal of Machine Learning Research, 23(26): 1–47. 2022.
ISDM
Into the unknown: Active monitoring of neural networks
authors:
Lukina, A.; Schilling, C.; and Henzinger, T. A
A In International Conference on Runtime Verification, pages 42–61, 2021. Springer International Publishing Cham
AI in Deployment
Formal methods with a touch of magic
authors:
Alamdari, P. A.; Avni, G.; Henzinger, T. A; and Lukina, A.
In Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (FMCAD), volume 1, pages 138–147, 2020. TU Wien Academic Press
ISDM
Outside the Box: Abstraction-Based Monitoring of Neural Networks
authors:
Henzinger, T. A; Lukina, A.; and Schilling, C.
In Proceedings of the 24th European Conference on Artificial Intelligence, volume 325, 2020. Frontiers in Artificial Intelligence and Applications, IOS Press
AI in Deployment
Statistical model checking
authors:
Legay, A.; Lukina, A.; Traonouez, L. M.; Yang, J.; Smolka, S. A; and Grosu, R.
In Computing and software science: state of the art and perspectives, pages 478–504. Springer International Publishing Cham, 2019.
Stochastic Systems
Adaptive optimization framework for control of multi-agent systems
authors:
Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 33, pages 9991–9992, 2019.
Stochastic Systems
Adaptive optimization framework for verification and control of cyber-physical systems
authors:
Lukina, A.
Ph.D. Thesis, Technische Universität Wien, 2019.
Stochastic Systems
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems
authors:
Lukina, A.; Tiwari, A.; Smolka, S. A; and Grosu, R.
In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, pages 914–921, 2019.
Stochastic Systems
2.2 Open Projects
coming soon.
2.1 CURRENT RESEARCH
My current research program is organized around three main dimensions:
Research
01) Certification of Stochastic Systems
Research
02) Monitoring AI in Deployment
Research
03) Interpretable sequential decision-making (ISDM)
Below are some concrete recent projects. See my research summary (pdf) for more details.
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
authors:
Demirović, E.; Schilling, C.; and Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, pages 27250–27257, 2025.
ISDM
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
authors:
Lutz, S.; Spaan, M. T.; and Lukina, A.
In Proceedings of the 34th International Joint Conference on Artificial Intelligence, 2025.
Stochastic Systems
Composing Reinforcement Learning Policies, with Formal Guarantees
authors:
Delgrange, F.; Avni, G.; Lukina, A.; Schilling, C.; Nowe, A.; and Perez, G.
In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025.
Stochastic Systems
Neural continuous-time supermartingale certificates
authors:
Neustroev, G.; Giacobbe, M.; and Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, pages 27538–27546, 2025. Oral presentation.
Stochastic Systems
AI Verification: First International Symposium
authors:
Avni, G.; Giacobbe, M.; Johnson, T. T; Katz, G.; Lukina, A.; Narodytska, N.; and Schilling, C.
Lecture Notes in Computer Science, 14846: 189. 2024.
ISDM
Safety verification of decision-tree policies in continuous time
authors:
Schilling, C.; Lukina, A.; Demirović, E.; and Larsen, K.
Advances in Neural Information Processing Systems, 36. 2024. Spotlight (top 3%)
ISDM
Into the unknown: active monitoring of neural networks (extended version)
authors:
Kueffner, K.; Lukina, A.; Schilling, C.; and Henzinger, T.
A International Journal on Software Tools for Technology Transfer, 25(4): 575–592. 2023.
AI in Deployment
Murtree: Optimal decision trees via dynamic programming and search
authors:
Demirović, E.; Lukina, A.; Hebrard, E.; Chan, J.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; and Stuckey, P.
In Journal of Machine Learning Research, 23(26): 1–47. 2022.
ISDM
Into the unknown: Active monitoring of neural networks
authors:
Lukina, A.; Schilling, C.; and Henzinger, T. A
A In International Conference on Runtime Verification, pages 42–61, 2021. Springer International Publishing Cham
AI in Deployment
Formal methods with a touch of magic
authors:
Alamdari, P. A.; Avni, G.; Henzinger, T. A; and Lukina, A.
In Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (FMCAD), volume 1, pages 138–147, 2020. TU Wien Academic Press
ISDM
Outside the Box: Abstraction-Based Monitoring of Neural Networks
authors:
Henzinger, T. A; Lukina, A.; and Schilling, C.
In Proceedings of the 24th European Conference on Artificial Intelligence, volume 325, 2020. Frontiers in Artificial Intelligence and Applications, IOS Press
AI in Deployment
Statistical model checking
authors:
Legay, A.; Lukina, A.; Traonouez, L. M.; Yang, J.; Smolka, S. A; and Grosu, R.
In Computing and software science: state of the art and perspectives, pages 478–504. Springer International Publishing Cham, 2019.
Stochastic Systems
Adaptive optimization framework for control of multi-agent systems
authors:
Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 33, pages 9991–9992, 2019.
Stochastic Systems
Adaptive optimization framework for verification and control of cyber-physical systems
authors:
Lukina, A.
Ph.D. Thesis, Technische Universität Wien, 2019.
Stochastic Systems
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems
authors:
Lukina, A.; Tiwari, A.; Smolka, S. A; and Grosu, R.
In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, pages 914–921, 2019.
Stochastic Systems
2.2 Open Projects
coming soon.
2.1 CURRENT RESEARCH
My current research program is organized around three main dimensions:
Research
01) Certification of Stochastic Systems
Research
02) Monitoring AI in Deployment
Research
03) Interpretable sequential decision-making
Below are some concrete recent projects. See my research summary (pdf) for more details.
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
authors:
Demirović, E.; Schilling, C.; and Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, pages 27250–27257, 2025.
ISDM
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
authors:
Lutz, S.; Spaan, M. T.; and Lukina, A.
In Proceedings of the 34th International Joint Conference on Artificial Intelligence, 2025.
Stochastic Systems
Composing Reinforcement Learning Policies, with Formal Guarantees
authors:
Delgrange, F.; Avni, G.; Lukina, A.; Schilling, C.; Nowe, A.; and Perez, G.
In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025.
Stochastic Systems
Neural continuous-time supermartingale certificates
authors:
Neustroev, G.; Giacobbe, M.; and Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, pages 27538–27546, 2025. Oral presentation.
Stochastic Systems
AI Verification: First International Symposium
authors:
Avni, G.; Giacobbe, M.; Johnson, T. T; Katz, G.; Lukina, A.; Narodytska, N.; and Schilling, C.
Lecture Notes in Computer Science, 14846: 189. 2024.
ISDM
Safety verification of decision-tree policies in continuous time
authors:
Schilling, C.; Lukina, A.; Demirović, E.; and Larsen, K.
Advances in Neural Information Processing Systems, 36. 2024. Spotlight (top 3%)
ISDM
Into the unknown: active monitoring of neural networks (extended version)
authors:
Kueffner, K.; Lukina, A.; Schilling, C.; and Henzinger, T.
A International Journal on Software Tools for Technology Transfer, 25(4): 575–592. 2023.
AI in Deployment
Murtree: Optimal decision trees via dynamic programming and search
authors:
Demirović, E.; Lukina, A.; Hebrard, E.; Chan, J.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; and Stuckey, P.
In Journal of Machine Learning Research, 23(26): 1–47. 2022.
ISDM
Into the unknown: Active monitoring of neural networks
authors:
Lukina, A.; Schilling, C.; and Henzinger, T. A
A In International Conference on Runtime Verification, pages 42–61, 2021. Springer International Publishing Cham
AI in Deployment
Formal methods with a touch of magic
authors:
Alamdari, P. A.; Avni, G.; Henzinger, T. A; and Lukina, A.
In Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (FMCAD), volume 1, pages 138–147, 2020. TU Wien Academic Press
ISDM
Outside the Box: Abstraction-Based Monitoring of Neural Networks
authors:
Henzinger, T. A; Lukina, A.; and Schilling, C.
In Proceedings of the 24th European Conference on Artificial Intelligence, volume 325, 2020. Frontiers in Artificial Intelligence and Applications, IOS Press
AI in Deployment
Statistical model checking
authors:
Legay, A.; Lukina, A.; Traonouez, L. M.; Yang, J.; Smolka, S. A; and Grosu, R.
In Computing and software science: state of the art and perspectives, pages 478–504. Springer International Publishing Cham, 2019.
Stochastic Systems
Adaptive optimization framework for control of multi-agent systems
authors:
Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 33, pages 9991–9992, 2019.
Stochastic Systems
Adaptive optimization framework for verification and control of cyber-physical systems
authors:
Lukina, A.
Ph.D. Thesis, Technische Universität Wien, 2019.
Stochastic Systems
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems
authors:
Lukina, A.; Tiwari, A.; Smolka, S. A; and Grosu, R.
In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, pages 914–921, 2019.
Stochastic Systems
2.2 Open Projects
coming soon.
2.1 CURRENT RESEARCH
My current research program is organized around three main dimensions:
Research
01) Certification of Stochastic Systems
Research
02) Monitoring AI in Deployment
Research
03) Interpretable sequential decision-making
Below are some concrete recent projects. See my research summary (pdf) for more details.
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
authors:
Demirović, E.; Schilling, C.; and Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, pages 27250–27257, 2025.
ISDM
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
authors:
Lutz, S.; Spaan, M. T.; and Lukina, A.
In Proceedings of the 34th International Joint Conference on Artificial Intelligence, 2025.
Stochastic Systems
Composing Reinforcement Learning Policies, with Formal Guarantees
authors:
Delgrange, F.; Avni, G.; Lukina, A.; Schilling, C.; Nowe, A.; and Perez, G.
In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025.
Stochastic Systems
Neural continuous-time supermartingale certificates
authors:
Neustroev, G.; Giacobbe, M.; and Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, pages 27538–27546, 2025. Oral presentation.
Stochastic Systems
AI Verification: First International Symposium
authors:
Avni, G.; Giacobbe, M.; Johnson, T. T; Katz, G.; Lukina, A.; Narodytska, N.; and Schilling, C.
Lecture Notes in Computer Science, 14846: 189. 2024.
ISDM
Safety verification of decision-tree policies in continuous time
authors:
Schilling, C.; Lukina, A.; Demirović, E.; and Larsen, K.
Advances in Neural Information Processing Systems, 36. 2024. Spotlight (top 3%)
ISDM
Into the unknown: active monitoring of neural networks (extended version)
authors:
Kueffner, K.; Lukina, A.; Schilling, C.; and Henzinger, T.
A International Journal on Software Tools for Technology Transfer, 25(4): 575–592. 2023.
AI in Deployment
Murtree: Optimal decision trees via dynamic programming and search
authors:
Demirović, E.; Lukina, A.; Hebrard, E.; Chan, J.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; and Stuckey, P.
In Journal of Machine Learning Research, 23(26): 1–47. 2022.
ISDM
Into the unknown: Active monitoring of neural networks
authors:
Lukina, A.; Schilling, C.; and Henzinger, T. A
A In International Conference on Runtime Verification, pages 42–61, 2021. Springer International Publishing Cham
AI in Deployment
Formal methods with a touch of magic
authors:
Alamdari, P. A.; Avni, G.; Henzinger, T. A; and Lukina, A.
In Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (FMCAD), volume 1, pages 138–147, 2020. TU Wien Academic Press
ISDM
Outside the Box: Abstraction-Based Monitoring of Neural Networks
authors:
Henzinger, T. A; Lukina, A.; and Schilling, C.
In Proceedings of the 24th European Conference on Artificial Intelligence, volume 325, 2020. Frontiers in Artificial Intelligence and Applications, IOS Press
AI in Deployment
Statistical model checking
authors:
Legay, A.; Lukina, A.; Traonouez, L. M.; Yang, J.; Smolka, S. A; and Grosu, R.
In Computing and software science: state of the art and perspectives, pages 478–504. Springer International Publishing Cham, 2019.
Stochastic Systems
Adaptive optimization framework for control of multi-agent systems
authors:
Lukina, A.
In Proceedings of the AAAI Conference on Artificial Intelligence, volume 33, pages 9991–9992, 2019.
Stochastic Systems
Adaptive optimization framework for verification and control of cyber-physical systems
authors:
Lukina, A.
Ph.D. Thesis, Technische Universität Wien, 2019.
Stochastic Systems
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems
authors:
Lukina, A.; Tiwari, A.; Smolka, S. A; and Grosu, R.
In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, pages 914–921, 2019.
Stochastic Systems
2.2 Open Projects
coming soon.
© 2025 / created by NOT YOUR CHIBI