Into the Unknown: Active Monitoring of Neural Networks (Extended Version). Konstantin Kueffner, Anna Lukina, Christian Schilling, and Thomas A. Henzinger. In STTT 2023, Special Issue RV 2021.
doi | bib | |
MurTree: Optimal Decision Trees via Dynamic Programming and Search. E. Demirović, A. Lukina, E. Hebrard, J. Chan, J. Bailey, C. Leckie, K. Ramamohanarao, P. J. Stuckey. In JMLR 2022.
doi | |
Statistical Model Checking. A. Legay, A. Lukina, L. M. Traonouez, J. Yang, S. A. Smolka, and R. Grosu. In Computing and Software Science, Lecture Notes in Computer Science, vol 10’000, 2019, Springer.
doi | bib
Safety verification of decision-tree policies in continuous time. C. Schilling, A. Lukina, E. Demirović, and K. G. Larsen. In NeurIPS 2023, Spotlight (top 3%).
| OpenReview | |
Into the Unknown: Active Monitoring of Neural Networks. A. Lukina, C. Schilling, and T. A. Henzinger. In RV 2021.
doi | bib | | |
Formal Methods with a Touch of Magic. P. Alizadeh Alamdari, G. Avni, T. A. Henzinger, and A. Lukina. In FMCAD 2020.
doi | bib | |
Outside the Box: Abstraction-Based Monitoring of Neural Networks. T. A. Henzinger, A. Lukina, and C. Schilling. In ECAI 2020.
doi | bib | |
Distributed Adaptive-Neighborhood Control for Stochastic Reachability in Multi-Agent Systems. A. Lukina, A. Tiwari, S. A. Smolka, and R. Grosu. In SAC 2019.
doi | bib | |
Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO. A. Lukina, A. Kumar, M. Schmittle, A. Singh, J. Das, S. Rees, C. P. Buskirk, J. Sztipanovits, R. Grosu, and V. Kumar. In ICCPS 2018.
doi | bib | |
OpenUAV: A UAV Testbed for the CPS and Robotics Community. M. Schmittle, A. Lukina, L. Vacek, J. Das, C. P. Buskirk, S. Rees, J. Sztipanovits, R. Grosu, and V. Kumar. In ICCPS 2018.
doi | bib |
Attacking the V: on the Resiliency of Adaptive-Horizon MPC. S. A. Smolka, A. Tiwari, L. Esterle, A. Lukina, J. Yang, and R. Grosu. In ATVA 2017.
doi | bib |
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. A. Lukina, L. Esterle, C. Hirsch, E. Bartocci, J. Yang, A. Tiwari, S. A. Smolka, and R. Grosu. In TACAS 2017.
doi | bib | |
Feedback Control for Statistical Model Checking of Cyber-Physical Systems. K. Kalajdzic, C. Jegourel, A. Lukina, E. Bartocci, A. Legay, S. A. Smolka, and R. Grosu. In ISoLA 2016.
doi | bib
Combining Runtime Monitoring and Machine Learning with Human Feedback. A. Lukina. In New Faculty Highlights of AAAI 2023.
doi |
Active Monitoring of Neural Networks. A. Lukina, C. Schilling, and T. A. Henzinger. In BNAIC/BENELEARN 2021.
Adaptive Optimization Framework for Control of Multi-Agent Systems. A. Lukina. In AAAI 2019.
doi | bib |
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems. A. Lukina. In IJCAI 2017.
doi | bib |
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems. A. Lukina. In IJCAI 2017.
doi | bib |
V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems. A. Lukina. In AAAI 2017.
doi | bib |