The Power of Regular Constraint Propagation
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Publications
You can also find my articles on my Google Scholar profile.
Conference Papers
OSTRICH2: Solver for Complex String Constraints
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
Decision Procedures for Sequence Theories
Artur Jeż, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Learning Union of Integer Hypercubes with Queries
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Parameterized Synthesis with Safety Properties
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Learning-Based Synthesis of Safety Controllers
Daniel Neider, Oliver Markgraf