Necmiye Özay

1. Planning with Learned Dynamics: Probabilistic Guarantees on Safety and\n Reachability via Lipschitz Constants
   2020/10/18 by Craig Knuth, Glen Chou, Knuth, Craig +5 · 3 citations
   Computer Science · #AI-based Problem Solving and Planning #Formal Methods in Verification
2. Finite Sample Identification of Bilinear Dynamical Systems
   2022/08/29 by Yahya Sattar, Samet Oymak, Sattar, Yahya +3 · 3 citations
   Engineering · Physics and Astronomy · Computer Science · #Control Systems and Identification #Model Reduction and Neural Networks #Gaussian Processes and Bayesian Inference
3. Learning Parametric Constraints in High Dimensions from Demonstrations
   2019/10/08 by Glen Chou, Chou, Glen, Necmiye Özay +3 · 3 citations
   Computer Science · Engineering · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems
   2021/04/18 by Glen Chou, Chou, Glen, Necmiye Özay +3 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Human Pose and Action Recognition #Machine Learning (cs.LG) #Robot Manipulation and Learning #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
5. Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations
   2020/06/03 by Glen Chou, Chou, Glen, Necmiye Özay +3 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Algorithms #Receptor Mechanisms and Signaling #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
6. Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning
   2021/03/19 by Danny Weyns, Weyns, Danny, Bradley Schmerl +13 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Systems and Control (eess.SY) #electronic engineering #information engineering
7. LLM-Enhanced Symbolic Control for Safety-Critical Applications
   2025/05/16 by Bayat, Amir, Alessandro Abate, Abate, Alessandro +4 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
8. Inferring Obstacles and Path Validity from Visibility-Constrained\n Demonstrations
   2020/05/11 by Craig Knuth, Glen Chou, Knuth, Craig +5 · 1 citation
   Engineering · Computer Science · #Robotics and Sensor-Based Localization #Constraint Satisfaction and Optimization #Robotic Path Planning Algorithms
9. On the Hardness of Learning to Stabilize Linear Systems
   2023/11/18 by Zexiang Liu, Zeng, Xiong, Liu, Zexiang +6 · 1 citation
   Engineering · Physics and Astronomy · #Control Systems and Identification #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Model Reduction and Neural Networks #Systems and Control (eess.SY) #electronic engineering #information engineering
10. Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings
    2023/12/28 by Zexiang Liu, Liu, Zexiang, Necmiye Özay +3 · 1 citation
    Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Dynamical Systems (math.DS) #FOS: Electrical engineering #FOS: Mathematics #Machine Learning and Data Classification #Model Reduction and Neural Networks #Systems and Control (eess.SY) #electronic engineering #information engineering
11. Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory
    2022/06/14 by Glen Chou, Necmiye Özay, Chou, Glen +3 · 1 citation
    Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Human Pose and Action Recognition #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
12. Noise Sensitivity of the Semidefinite Programs for Direct Data-Driven LQR
    2024/12/27 by Xiong Zeng, Laurent Bako, Zeng, Xiong +4 · 1 voice · 1 citation
    Engineering · Mathematics · #Advanced Control Systems Optimization #Control Systems and Identification #Fault Detection and Control Systems #eess.SY #math.OC