Murat Cubuktepe
- Verifiable Reinforcement Learning Systems via Compositionality
2023/09/09 by Cyrus Neary, Aryaman Singh Samyal, Neary, Cyrus +7 · 2 citations
Computer Science · #Reinforcement Learning in Robotics #Adversarial Robustness in Machine Learning
- Scenario-Based Verification of Uncertain MDPs
2019/12/24 by Murat Cubuktepe, Cubuktepe, Murat, Nils Jansen +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC)