Lukina, Anna

9 publications

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

AAAI 2025 Neural Continuous-Time Supermartingale Certificates Grigory Neustroev, Mirco Giacobbe, Anna Lukina

IJCAI 2025 VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems After Change Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina

AAAI 2023 Combining Runtime Monitoring and Machine Learning with Human Feedback Anna Lukina

NeurIPS 2023 Safety Verification of Decision-Tree Policies in Continuous Time Christian Schilling, Anna Lukina, Emir Demirović, Kim Larsen

JMLR 2022 MurTree: Optimal Decision Trees via Dynamic Programming and Search Emir Demirović, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey

AAAI 2019 Adaptive Optimization Framework for Control of Multi-Agent Systems Anna Lukina

IJCAI 2017 Resilient Control and Safety for Multi-Agent Cyber-Physical Systems Anna Lukina

AAAI 2017 V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems Anna Lukina