Feedback Control for Statistical Model Checking of Cyber-Physical Systems. - Kenan Kalajdzic; Cyrille Jégourel; Anna Lukina; Ezio Bartocci; Axel Legay; Scott A. Smolka; Radu Grosu (ISoLA (1), 2016)

V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems. - Anna Lukina (AAAI, 2017)

Attacking the V: On the Resiliency of Adaptive-Horizon MPC. - Ashish Tiwari 001; Scott A. Smolka; Lukas Esterle; Anna Lukina; Junxing Yang; Radu Grosu (ATVA, 2017)

Resilient Control and Safety for Multi-Agent Cyber-Physical Systems. - Anna Lukina (IJCAI, 2017)

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. - Anna Lukina; Lukas Esterle; Christian Hirsch; Ezio Bartocci; Junxing Yang; Ashish Tiwari 001; Scott A. Smolka; Radu Grosu (TACAS (2), 2017)

Resilient Control and Safety for Cyber-Physical Systems. - Anna Lukina; Ashish Tiwari 001; Scott A. Smolka; Lukas Esterle; Junxing Yang; Radu Grosu (MT@CPSWeek, 2018)

Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. - Anna Lukina; Arjun Kumar; Matt Schmittle; Abhijeet Singh; Jnaneshwar Das; Stephen A. Rees; Christopher P. van Buskirk; Janos Sztipanovits; Radu Grosu; Vijay Kumar 001 (ICCPS, 2018)

OpenUAV: a UAV testbed for the CPS and robotics community. - Matt Schmittle; Anna Lukina; Lukas Vacek; Jnaneshwar Das; Christopher P. van Buskirk; Stephen A. Rees; Janos Sztipanovits; Radu Grosu; Vijay Kumar 001 (ICCPS, 2018)

Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. - Anna Lukina; Ashish Tiwari 001; Scott A. Smolka; Radu Grosu (CoRR, 2018)

Adaptive Optimization Framework for Control of Multi-Agent Systems. - Anna Lukina (AAAI, 2019)

Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. - Anna Lukina; Ashish Tiwari 001; Scott A. Smolka; Radu Grosu (SAC, 2019)

Statistical Model Checking. - Axel Legay; Anna Lukina; Louis-Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu (Computing and Software Science, 2019)

Outside the Box: Abstraction-Based Monitoring of Neural Networks. - Thomas A. Henzinger; Anna Lukina; Christian Schilling 001 (ECAI, 2020)

Formal Methods with a Touch of Magic. - Parand Alizadeh Alamdari; Guy Avni; Thomas A. Henzinger; Anna Lukina (FMCAD, 2020)

V-Formation via Model Predictive Control. - Radu Grosu; Anna Lukina; Scott A. Smolka; Ashish Tiwari 001; Vasudha Varadarajan; Xingfang Wang (CoRR, 2020)

MurTree: Optimal Classification Trees via Dynamic Programming and Search. - Emir Demirovic; Anna Lukina; Emmanuel Hebrard; Jeffrey Chan; James Bailey 001; Christopher Leckie; Kotagiri Ramamohanarao; Peter J. Stuckey (CoRR, 2020)

Into the Unknown: Active Monitoring of Neural Networks. - Anna Lukina; Christian Schilling 001; Thomas A. Henzinger (RV, 2021)

MurTree: Optimal Decision Trees via Dynamic Programming and Search. - Emir Demirovic; Anna Lukina; Emmanuel Hebrard; Jeffrey Chan; James Bailey 001; Christopher Leckie; Kotagiri Ramamohanarao; Peter J. Stuckey (J. Mach. Learn. Res., 2022)

Combining Runtime Monitoring and Machine Learning with Human Feedback. - Anna Lukina (AAAI, 2023)

Safety Verification of Decision-Tree Policies in Continuous Time. - Christian Schilling 001; Anna Lukina; Emir Demirovic; Kim Guldstrand Larsen (NeurIPS, 2023)

Into the unknown: active monitoring of neural networks (extended version). - Konstantin Kueffner; Anna Lukina; Christian Schilling 001; Thomas A. Henzinger (Int. J. Softw. Tools Technol. Transf., 2023)

Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. - Florent Delgrange; Guy Avni; Anna Lukina; Christian Schilling 001; Ann Nowé; Guillermo A. Pérez 001 (CoRR, 2024)

In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search. - Emir Demirovic; Christian Schilling 001; Anna Lukina (AAAI, 2025)

Neural Continuous-Time Supermartingale Certificates. - Grigory Neustroev; Mirco Giacobbe; Anna Lukina (AAAI, 2025)

Composing Reinforcement Learning Policies, with Formal Guarantees. - Florent Delgrange; Guy Avni; Anna Lukina; Christian Schilling 001; Ann Nowé; Guillermo A. Pérez 001 (AAMAS, 2025)

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change. - Sterre Lutz; Matthijs T. J. Spaan; Anna Lukina (CoRR, 2025)