Anna Lukina

36 papers A* 8A 2B 3Misc 1Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — ed.
AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings
SAIV
Mirco Giacobbe, Anna Lukina
2025 A conf
Composing Reinforcement Learning Policies, with Formal Guarantees.
AAMAS
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
2025 A* conf
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
AAAI
Emir Demirovic, Christian Schilling, Anna Lukina
2025 A* conf
Neural Continuous-Time Supermartingale Certificates.
AAAI
Grigory Neustroev, Mirco Giacobbe, Anna Lukina
2025 A* conf
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change.
IJCAI
Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina
2025 J jnl
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change.
CoRR
Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina
2024 — ed.
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
SAIV
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
2024 J jnl
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
CoRR
Emir Demirovic, Christian Schilling, Anna Lukina
2024 J jnl
Neural Continuous-Time Supermartingale Certificates.
CoRR
Grigory Neustroev, Mirco Giacobbe, Anna Lukina
2024 J jnl
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies.
CoRR
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
2023 A* conf
Combining Runtime Monitoring and Machine Learning with Human Feedback.
AAAI
Anna Lukina
2023 J jnl
Into the unknown: active monitoring of neural networks (extended version).
Int. J. Softw. Tools Technol. Transf.
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger
2023 A* conf
Safety Verification of Decision-Tree Policies in Continuous Time.
NeurIPS
Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen
2022 J jnl
MurTree: Optimal Decision Trees via Dynamic Programming and Search.
J. Mach. Learn. Res.
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
2021 B conf
Into the Unknown: Active Monitoring of Neural Networks.
RV
Anna Lukina, Christian Schilling, Thomas A. Henzinger
2020 B conf
Formal Methods with a Touch of Magic.
FMCAD
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
2020 J jnl
Formal Methods with a Touch of Magic.
CoRR
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
2020 J jnl
Into the unknown: Active monitoring of neural networks.
CoRR
Anna Lukina, Christian Schilling, Thomas A. Henzinger
2020 J jnl
MurTree: Optimal Classification Trees via Dynamic Programming and Search.
CoRR
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
2020 A conf
Outside the Box: Abstraction-Based Monitoring of Neural Networks.
ECAI
Thomas A. Henzinger, Anna Lukina, Christian Schilling
2020 J jnl
V-Formation via Model Predictive Control.
CoRR
Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang
2019 A* conf
Adaptive Optimization Framework for Control of Multi-Agent Systems.
AAAI
Anna Lukina
2019 Misc conf
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems.
SAC
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2019 J jnl
Outside the Box: Abstraction-Based Monitoring of Neural Networks.
CoRR
Thomas A. Henzinger, Anna Lukina, Christian Schilling
2019 — ch.
Statistical Model Checking.
Computing and Software Science
Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu
2018 J jnl
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems.
CoRR
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2018 — conf
Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO.
ICCPS
Anna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen A. Rees, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar
2018 — conf
OpenUAV: a UAV testbed for the CPS and robotics community.
ICCPS
Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen A. Rees, Janos Sztipanovits, Radu Grosu, Vijay Kumar
2018 — conf
Resilient Control and Safety for Cyber-Physical Systems.
MT@CPSWeek
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
2017 — conf
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
TACAS (2)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2017 B conf
Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
ATVA
Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017 J jnl
Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
CoRR
Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017 A* conf
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems.
IJCAI
Anna Lukina
2017 A* conf
V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems.
AAAI
Anna Lukina
2016 J jnl
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
CoRR
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2016 — conf
Feedback Control for Statistical Model Checking of Cyber-Physical Systems.
ISoLA (1)
Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu