Anna Lukina
8 papers · 2017–2025 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Gold 🏃 Academic Marathon · Sprint 🗺️ Taxonomy Completionist (26) 🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze
🚀
Conference Pioneer
📈
Trend Setter
Venues
Top co-authors
Research topics
Keywords
formal verification
(3)
decision tree policy
(2)
multi-agent system
(2)
decision tree
(2)
model predictive control
(2)
safety verification
(2)
stochastic dynamical system
(2)
lyapunov function
(1)
stochastic process
(1)
markov decision process
(1)
receding horizon control
(1)
continuous time
(1)
search algorithm
(1)
stochastic game
(1)
stochastic control
(1)
model checking
(1)
interpretable model
(1)
dynamic programming
(1)
cyber-physical system
(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
Combining Runtime Monitoring and Machine Learning with Human Feedback
AAAI 2023
Safety Verification of Decision-Tree Policies in Continuous Time
NeurIPS 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