Anna Lukina

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 26

Top Topics

Classification Trees

Adaptive Neighborhood

Top Venues

Publications

Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. CoRR (2024)
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the unknown: active monitoring of neural networks (extended version). Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Anna Lukina
Combining Runtime Monitoring and Machine Learning with Human Feedback. AAAI (2023)
Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS (2023)
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
MurTree: Optimal Decision Trees via Dynamic Programming and Search. J. Mach. Learn. Res. 23 (2022)
Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the Unknown: Active Monitoring of Neural Networks. RV (2021)
Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang
V-Formation via Model Predictive Control. CoRR (2020)
Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the unknown: Active monitoring of neural networks. CoRR (2020)
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
Formal Methods with a Touch of Magic. CoRR (2020)
Thomas A. Henzinger, Anna Lukina, Christian Schilling
Outside the Box: Abstraction-Based Monitoring of Neural Networks. ECAI (2020)
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
MurTree: Optimal Classification Trees via Dynamic Programming and Search. CoRR (2020)
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
Formal Methods with a Touch of Magic. FMCAD (2020)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC (2019)
Thomas A. Henzinger, Anna Lukina, Christian Schilling
Outside the Box: Abstraction-Based Monitoring of Neural Networks. CoRR (2019)
Anna Lukina
Adaptive Optimization Framework for Control of Multi-Agent Systems. AAAI (2019)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek (2018)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR (2018)
Anna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen A. Rees, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar
Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. ICCPS (2018)
Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen A. Rees, Janos Sztipanovits, Radu Grosu, Vijay Kumar
OpenUAV: a UAV testbed for the CPS and robotics community. ICCPS (2018)
Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA (2017)
Anna Lukina
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems. IJCAI (2017)
Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR (2017)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) (2017)
Anna Lukina
V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems. AAAI (2017)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR (2016)
Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) (2016)