Learning-Based Synthesis of Safety Controllers
Daniel Neider, Oliver Markgraf
Posts by Collection
publications
Parameterized Synthesis with Safety Properties
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Learning Union of Integer Hypercubes with Queries
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Decision Procedures for Sequence Theories
Artur Jeż, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
OSTRICH2: Solver for Complex String Constraints
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
The Power of Regular Constraint Propagation
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
talks
teaching
Game Theory in Logic and Verification
Roles: Teaching Assistant and Co-Instructor (Substitute Lectures)(2021)
Supervision of Student Projects and Thesis
Supervised Theses and Projects
- Project: Implementing symbolic Parikh images in OSTRICH
- Project: Local search for the membership problem in finite automata
- Bachelor’s Thesis: Implementing local search for the theory of strings
- Project: Categorizing SMT-LIB QF_Strings benchmarks based on attributes
Automated Reasoning
Roles: Co-Instructor (Substitute Lectures)(2023–2024)
Logic and Semantic of Programming Languages
Roles: Tutor (2019), Teaching Assistant (2019–2024), Co-Instructor (Substitute Lectures)(2023–2025)