Learning-Based Synthesis of Safety Controllers. - Daniel Neider; Oliver Markgraf (FMCAD, 2019)

Parameterized Synthesis with Safety Properties. - Oliver Markgraf; Chih-Duo Hong; Anthony W. Lin; Muhammad Najib; Daniel Neider (APLAS, 2020)

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). - Oliver Markgraf; Daniel Stan; Anthony W. Lin (CAV (2), 2021)

Learning Union of Integer Hypercubes with Queries (Technical Report). - Oliver Markgraf; Daniel Stan; Anthony W. Lin (CoRR, 2021)

Decision Procedures for Sequence Theories. - Artur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer (CAV (2), 2023)

Decision Procedures for Sequence Theories (Technical Report). - Artur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer (CoRR, 2023)

sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. - Hongjian Jiang; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Daniel Stan (CAV (1), 2025)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report). - Hongjian Jiang; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Daniel Stan (CoRR, 2025)

OSTRICH2: Solver for Complex String Constraints. - Matthew Hague; Denghang Hu; Artur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Zhilin Wu (CoRR, 2025)