Anna Lukina
8 papers · 2017–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π£ Hot Topic Early Bird π Conference Polyglot (4) π Academic Marathon (8)
π
Academic Marathon
(8)
πΊοΈ
Taxonomy Completionist
(26)
π
Cross-Pollinator
(5)
πΊ
Lone Wolf
(3)
π
Keyword Champion
(2)
π
Trend Setter
π
Conference Pioneer
Conferences
AAAI (4)
IJCAI (2)
JMLR (1)
NIPS (1)
Top co-authors
Keywords
formal verification
(3)
decision tree policy
(2)
multi-agent system
(2)
decision tree
(2)
model predictive control
(2)
stochastic dynamical system
(2)
safety verification
(2)
lyapunov function
(1)
continuous time
(1)
markov decision process
(1)
stochastic process
(1)
policy synthesis
(1)
stochastic game
(1)
cyber-physical system
(1)
stochastic control
(1)
search algorithm
(1)
model checking
(1)
dynamic programming
(1)
interpretable model
(1)
sequential monte carlo
(1)
Papers
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
AAAI 2025
Neural Continuous-Time Supermartingale Certificates
AAAI 2025
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
IJCAI 2025
Safety Verification of Decision-Tree Policies in Continuous Time
NIPS 2023
Combining Runtime Monitoring and Machine Learning with Human Feedback
AAAI 2023
MurTree: Optimal Decision Trees via Dynamic Programming and Search
JMLR 2022
Adaptive Optimization Framework for Control of Multi-Agent Systems
AAAI 2019
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems
IJCAI 2017