Anna Lukina

According to our database, Anna Lukina authored at least 26 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change.

Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina

CoRR, May, 2025

Composing Reinforcement Learning Policies, with Formal Guarantees.

Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Neural Continuous-Time Supermartingale Certificates.

Grigory Neustroev, Mirco Giacobbe, Anna Lukina

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.

Emir Demirovic, Christian Schilling, Anna Lukina

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies.

Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez

CoRR, 2024

2023

Into the unknown: active monitoring of neural networks (extended version).

Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger

Int. J. Softw. Tools Technol. Transf., August, 2023

Safety Verification of Decision-Tree Policies in Continuous Time.

Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Combining Runtime Monitoring and Machine Learning with Human Feedback.

Anna Lukina

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

MurTree: Optimal Decision Trees via Dynamic Programming and Search.

Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey

J. Mach. Learn. Res., 2022

2021

Into the Unknown: Active Monitoring of Neural Networks.

Anna Lukina, Christian Schilling, Thomas A. Henzinger

Proceedings of the Runtime Verification - 21st International Conference, 2021

2020

MurTree: Optimal Classification Trees via Dynamic Programming and Search.

Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey

CoRR, 2020

V-Formation via Model Predictive Control.

Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang

CoRR, 2020

Formal Methods with a Touch of Magic.

Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Outside the Box: Abstraction-Based Monitoring of Neural Networks.

Thomas A. Henzinger, Anna Lukina, Christian Schilling

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Statistical Model Checking.

Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems.

Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Adaptive Optimization Framework for Control of Multi-Agent Systems.

Anna Lukina

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems.

Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu

CoRR, 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

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 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

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Resilient Control and Safety for Cyber-Physical Systems.

Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Resilient Control and Safety for Multi-Agent Cyber-Physical Systems.

Anna Lukina

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Attacking the V: On the Resiliency of Adaptive-Horizon MPC.

Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu

Proceedings of the Automated Technology for Verification and Analysis, 2017

V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems.

Anna Lukina

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016