Markgraf, Oliver

1. Learning-Based Synthesis of Safety Controllers
   2019/01/21 by Neider, Daniel, Markgraf, Oliver · 1 citation
   #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. Parameterized Synthesis with Safety Properties
   2020/09/28 by Markgraf, Oliver, Hong, Chih-Duo, Lin, Anthony W. +2 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
3. OSTRICH2: Solver for Complex String Constraints
   2025/06/17 by Matthew Hague, Hague, Matthew, Denghang Hu +11 · 3 citations
   Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques