Makai Mann

1. How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems
   2023/10/24 by Oswin So, Zachary Serlin, So, Oswin +11 · 12 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC) #Robotics (cs.RO) #Smart Grid Security and Resilience
2. Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
   2022/10/03 by Mingyu Cai, Cai, Mingyu, Makai Mann +7 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Optimization and Control (math.OC) #Robotics (cs.RO) #Software Testing and Debugging Techniques
3. Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
   2024/11/26 by Ahmad Ahmad, Ahmad, Ahmad, Mehdi Kermanshah +15 · 1 citation
   Computer Science · #Intelligent Tutoring Systems and Adaptive Learning #IoT and Edge/Fog Computing #Software Reliability and Analysis Research