Beckus, Andre

1. Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learning
   2021/07/09 by Dohmen, Taylor, Topper, Noah, Atia, George +3 · 3 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
2. Controller Synthesis for Omega-Regular and Steady-State Specifications
   2021/06/05 by Velasquez, Alvaro, Alkhouri, Ismail, Beckus, Andre +2 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Airlift Challenge: A Competition for Optimizing Cargo Delivery
   2024/04/26 by Adis Delanovic, Delanovic, Adis, Carmen Chiu +5 · 2 citations
   Engineering · #Advanced Manufacturing and Logistics Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
4. Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning
   2023/10/29 by Suraj Singireddy, Singireddy, Suraj, Nwaorgu, Precious +10 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Software Engineering Research