Mann, Makai
- 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 · 17 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
- A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
2023/10/12 by Cardona, Gustavo A., Leahy, Kevin, Mann, Makai +1 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Robotics (cs.RO)
- Smt-Switch: a solver-agnostic C++ API for SMT Solving
2020/07/02 by Mann, Makai, Wilson, Amalee, Tinelli, Cesare +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
2022/10/03 by Mingyu Cai, Makai Mann, Cai, Mingyu +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
- Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
2023/05/18 by Wu, Haoze, Hahn, Christopher, Lonsing, Florian +3 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- STL: Surprisingly Tricky Logic (for System Validation)
2023/05/26 by Ho Chit Siu, Siu, Ho Chit, Kevin Leahy +3 · 1 citation
Computer Science · #Explainable Artificial Intelligence (XAI)
- Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
2024/11/26 by Ahmad Ahmad, Mehdi Kermanshah, Ahmad, Ahmad +15 · 1 citation
Computer Science · #Intelligent Tutoring Systems and Adaptive Learning #IoT and Edge/Fog Computing #Software Reliability and Analysis Research