Publications

@inproceedings{demirovic2025search,
  title={In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search},
  author={Demirovi{\'c}, Emir and Schilling, Christian and Lukina, Anna},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={39},
  number={26},
  pages={27250--27257},
  year={2025},
  url_github={https://github.com/SUMI-lab/Broccoli},
  url_zenodo={https://doi.org/10.5281/zenodo.14601859}
}

@inproceedings{neustroev2025neural,
  title={Neural continuous-time supermartingale certificates},
  author={Neustroev, Grigory and Giacobbe, Mirco and Lukina, Anna},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={39},
  number={26},
  pages={27538--27546},
  url_Zenodo={https://doi.org/10.5281/zenodo.14537003},
  url_Github={https://github.com/SUMI-lab/Neural-Continuous-Time-Supermartingale-Certificates},
  year={2025}
}

@inproceedings{delgrange2025composing,
title={Composing Reinforcement Learning Policies, with Formal Guarantees},
author={Florent Delgrange and Guy Avni and Anna Lukina and Christian Schilling and Ann Nowe and Guillermo Perez},
booktitle={Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)},
year={2025},
}

@article{schilling2024safety,
  title={Safety verification of decision-tree policies in continuous time},
  author={Schilling, Christian and Lukina, Anna and Demirovi{\'c}, Emir and Larsen, Kim},
  journal={Advances in Neural Information Processing Systems},
  volume={36},
  year={2024},
  note={Spotlight (top 3%)},
  url_doi={https://dl.acm.org/doi/10.5555/3666122.3666772},
  url_GitHub={https://github.com/VeriXAI/Safety-Verification-of-Decision-Tree-Policies-in-Continuous-Time},
  url_Video={https://recorder-v3.slideslive.com/?share=87572&s=5844cc74-c2c2-4916-876d-c1fb3ae44e46}
}

@article{avni2024ai,
  title={AI Verification: First International Symposium},
  author={Avni, Guy and Giacobbe, Mirco and Johnson, Taylor T and Katz, Guy and Lukina, Anna and Narodytska, Nina and Schilling, Christian},
  journal={Lecture Notes in Computer Science},
  volume={14846},
  pages={189},
  year={2024},
  publisher={Springer},
  url_doi={https://dl.acm.org/doi/proceedings/10.1007/978-3-031-65112-0}
}

@inproceedings{delgrange2024controller,
  title={Controller Synthesis from Deep Reinforcement Learning Policies},
  author={Delgrange, Florent and Avni, Guy and Lukina, Anna and Schilling, Christian and Nowe, Ann and Perez, Guillermo},
  booktitle={Seventeenth European Workshop on Reinforcement Learning},
  year={2024},
  url_OpenReview={https://openreview.net/forum?id=KDiCsArAKs}
}

@inproceedings{lukina2023combining,
  title={Combining runtime monitoring and machine learning with human feedback},
  author={Lukina, Anna},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={37},
  number={13},
  pages={15448--15448},
  year={2023},
  url_doi={https://doi.org/10.1609/aaai.v37i13.26815}
}

@article{kueffner2023into,
  title={Into the unknown: active monitoring of neural networks (extended version)},
  author={Kueffner, Konstantin and Lukina, Anna and Schilling, Christian and Henzinger, Thomas A},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={25},
  number={4},
  pages={575--592},
  year={2023},
  publisher={Springer Berlin Heidelberg Berlin/Heidelberg},
  url_doi={https://doi.org/10.1007/s10009-023-00711-4},
  url_GitHub={https://github.com/VeriXAI/Into-the-Unknown-extended}
}

@article{demirovic2022murtree,
  title={Murtree: Optimal decision trees via dynamic programming and search},
  author={Demirovi{\'c}, Emir and Lukina, Anna and Hebrard, Emmanuel and Chan, Jeffrey and Bailey, James and Leckie, Christopher and Ramamohanarao, Kotagiri and Stuckey, Peter J},
  journal={Journal of Machine Learning Research},
  volume={23},
  number={26},
  pages={1--47},
  year={2022},
  url_doi={https://jmlr.org/papers/v23/20-520.html},
  url_Bitbucket={https://bitbucket.org/EmirD/murtree/src/master/}
}

@inproceedings{lukina2021into,
  title={Into the unknown: Active monitoring of neural networks},
  author={Lukina, Anna and Schilling, Christian and Henzinger, Thomas A},
  booktitle={International Conference on Runtime Verification},
  pages={42--61},
  year={2021},
  organization={Springer International Publishing Cham},
  url_doi={https://doi.org/10.1007/978-3-030-88494-9_3},
  url_GitHub={https://github.com/VeriXAI/Into-the-Unknown},
  url_Video={https://www.youtube.com/watch?v=FUbUduZGad0}
}

@inproceedings{lukina2021active,
  title={Active Monitoring of Neural Networks},
  author={Lukina, Anna and Schilling, Christian and Henzinger, Thomas A},
  booktitle={33rd Benelux Conference on Artificial Intelligence and30th Belgian-Dutch Conference on Machine Learning},
  pages={685--687},
  year={2021},
  url_doi={https://research.tudelft.nl/en/publications/active-monitoring-of-neural-networks}
}

@inproceedings{alamdari2020formal,
  title={Formal methods with a touch of magic},
  author={Alamdari, Parand Alizadeh and Avni, Guy and Henzinger, Thomas A and Lukina, Anna},
  booktitle={Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (FMCAD)},
  volume={1},
  pages={138--147},
  year={2020},
  organization={TU Wien Academic Press},
  url_doi={https://repositum.tuwien.at/handle/20.500.12708/15517},
  url_Video={https://youtu.be/2KCyjJpzJDs}
}

@inproceedings{henzinger2020outside,
  title={Outside the Box: Abstraction-Based Monitoring of Neural Networks},
  author={Henzinger, Thomas A and Lukina, Anna and Schilling, Christian},
  booktitle={Proceedings of the 24th European Conference on Artificial Intelligence},
  volume={325},
  year={2020},
  organization={Frontiers in Artificial Intelligence and Applications, IOS Press},
  url_doi={https://ebooks.iospress.nl/publication/55170},
  url_GitHub={https://github.com/VeriXAI/Outside-the-Box}
}

@inproceedings{lukina2019distributed,
  title={Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems},
  author={Lukina, Anna and Tiwari, Ashish and Smolka, Scott A and Grosu, Radu},
  booktitle={Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing},
  pages={914--921},
  year={2019},
  url_doi={https://dl.acm.org/citation.cfm?doid=3297280.3297370},
  url_GitHub={https://github.com/AnnaLukina/DistributedV}
}

@phdthesis{lukina2018adaptive,
  title={Adaptive optimization framework for verification and control of cyber-physical systems},
  author={Lukina, Anna},
  year={2019},
  school={Technische Universit{\"a}t Wien},
  url_doi={https://doi.org/10.34726/hss.2018.68341}
}

@inproceedings{lukina2019adaptive,
  title={Adaptive optimization framework for control of multi-agent systems},
  author={Lukina, Anna},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={33},
  number={01},
  pages={9991--9992},
  year={2019},
  url_doi={https://ojs.aaai.org/index.php/AAAI/article/view/5132}
}

@incollection{legay2019statistical,
  title={Statistical model checking},
  author={Legay, Axel and Lukina, Anna and Traonouez, Louis Marie and Yang, Junxing and Smolka, Scott A and Grosu, Radu},
  booktitle={Computing and software science: state of the art and perspectives},
  pages={478--504},
  year={2019},
  publisher={Springer International Publishing Cham},
  url_doi={https://link.springer.com/chapter/10.1007/978-3-319-91908-9_23}
}

@inproceedings{schmittle2018openuav,
  title={OpenUAV: A UAV testbed for the CPS and robotics community},
  author={Schmittle, Matt and Lukina, Anna and Vacek, Lukas and Das, Jnaneshwar and Buskirk, Christopher P and Rees, Stephen and Sztipanovits, Janos and Grosu, Radu and Kumar, Vijay},
  booktitle={2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)},
  pages={130--139},
  year={2018},
  organization={IEEE},
  url_doi={https://ieeexplore.ieee.org/document/8443728},
  url_GitHub={https://github.com/Open-UAV}
}

@inproceedings{lukina2018formation,
  title={Formation control and persistent monitoring in the openuav swarm simulator on the NSF CPS-VO},
  author={Lukina, Anna and Kumar, Arjun and Schmittle, Matt and Singh, Abhijeet and Das, Jnaneshwar and Rees, Stephen and Buskirk, Christopher P and Sztipanovits, Janos and Grosu, Radu and Kumar, Vijay},
  booktitle={2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)},
  pages={353--354},
  year={2018},
  organization={IEEE},
  url_doi={https://dl.acm.org/citation.cfm?id=3207946},
  url_GitHub={https://github.com/Open-UAV/}
}

@inproceedings{lukina2018resilient,
  title={Resilient control and safety for cyber-physical systems},
  author={Lukina, Anna and Tiwari, Ashish and Smolka, Scott A and Esterle, Lukas and Yang, Junxing and Grosu, Radu},
  booktitle={2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)},
  pages={16--17},
  year={2018},
  organization={IEEE},
  url_doi={https://doi.org/10.24963/ijcai.2017/753}
}

@misc{schmittle2018openuav,
  title={OpenUAV: A UAV Testbed for the CPS and Robotics Community},
  author={Schmittle, Matt and Lukina, A and Vacek, L and Das, J and Buskirk, CP and Rees, S and Sztipanovits, J and Grosu, R and Kumar, V},
  journal={In 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)},
  year={2018},
  pages={130--139},
  publisher={IEEE},
  url_doi={https://ieeexplore.ieee.org/document/8443728}
}

@inproceedings{lukina2017ares,
  title={ARES: adaptive receding-horizon synthesis of optimal plans},
  author={Lukina, Anna and Esterle, Lukas and Hirsch, Christian and Bartocci, Ezio and Yang, Junxing and Tiwari, Ashish and Smolka, Scott A and Grosu, Radu},
  booktitle={Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II 23},
  pages={286--302},
  year={2017},
  organization={Springer Berlin Heidelberg},
  url_doi={https://link.springer.com/chapter/10.1007/978-3-662-54580-5_17},
  url_GitHub={https://github.com/AnnaLukina/VForm}
}

@inproceedings{lukina2017resilient,
  title={Resilient Control and Safety for Multi-Agent Cyber-Physical Systems.},
  author={Lukina, Anna},
  booktitle={IJCAI},
  pages={5187--5188},
  year={2017},
  url_doi={https://www.ijcai.org/Proceedings/2017/753}
}

@inproceedings{lukina2017v,
  title={V for verification: intelligent algorithm of checking reliability of smart systems},
  author={Lukina, Anna},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={31},
  number={1},
  year={2017},
  url_doi={https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14190}
}

@inproceedings{tiwari2017attacking,
  title={Attacking the V: on the resiliency of adaptive-horizon MPC},
  author={Tiwari, Ashish and Smolka, Scott A and Esterle, Lukas and Lukina, Anna and Yang, Junxing and Grosu, Radu},
  booktitle={Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3--6, 2017, Proceedings 15},
  pages={446--462},
  year={2017},
  organization={Springer International Publishing},
  url_doi={https://link.springer.com/chapter/10.1007/978-3-319-68167-2_29}
}

@inproceedings{kalajdzic2016feedback,
  title={Feedback control for statistical model checking of cyber-physical systems},
  author={Kalajdzic, Kenan and J{\'e}gourel, Cyrille and Lukina, Anna and Bartocci, Ezio and Legay, Axel and Smolka, Scott A and Grosu, Radu},
  booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I 7},
  pages={46--61},
  year={2016},
  organization={Springer International Publishing},
  url_doi={http://link.springer.com/chapter/10.1007/978-3-319-47166-2_4}
}