| 2025 | AAAI | In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search. | Emir Demirovic, Christian Schilling, Anna Lukina |
| 2025 | AAAI | Neural Continuous-Time Supermartingale Certificates. | Grigory Neustroev, Mirco Giacobbe, Anna Lukina |
| 2025 | IJCAI | VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change. | Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina |
| 2023 | AAAI | Combining Runtime Monitoring and Machine Learning with Human Feedback. | Anna Lukina |
| 2021 | RV | Into the Unknown: Active Monitoring of Neural Networks. | Anna Lukina, Christian Schilling, Thomas A. Henzinger |
| 2020 | ECAI | Outside the Box: Abstraction-Based Monitoring of Neural Networks. | Thomas A. Henzinger, Anna Lukina, Christian Schilling |
| 2020 | FMCAD | Formal Methods with a Touch of Magic. | Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina |
| 2019 | AAAI | Adaptive Optimization Framework for Control of Multi-Agent Systems. | Anna Lukina |
| 2019 | SAC | Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. | Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2017 | AAAI | V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems. | Anna Lukina |
| 2017 | ATVA | Attacking the V: On the Resiliency of Adaptive-Horizon MPC. | Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu |
| 2017 | IJCAI | Resilient Control and Safety for Multi-Agent Cyber-Physical Systems. | Anna Lukina |
| 2017 | TACAS | ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. | Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2016 | ISoLA | Feedback Control for Statistical Model Checking of Cyber-Physical Systems. | Kenan Kalajdzic, Cyrille Jgourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu |