Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
publications
Learning-Based Synthesis of Safety Controllers
Daniel Neider, Oliver Markgraf
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)