Lukina, Anna

1. ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
   2016/12/21 by Anna Lukina, Lukas Esterle, Lukina, Anna +13 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Composing Reinforcement Learning Policies, with Formal Guarantees
   2024/02/21 by Florent Delgrange, Delgrange, Florent, Guy Avni +9 · 2 citations
   Computer Science · Engineering · #Advanced Research in Systems and Signal Processing #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Reinforcement Learning in Robotics
3. Neural Continuous-Time Supermartingale Certificates
   2024/12/23 by Neustroev, Grigory, Giacobbe, Mirco, Lukina, Anna · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering