Anna Lukina
8 papers
· 2017–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Polyglot
(4)
π
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)