Oliver Markgraf

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Desirable Properties

Datalog Queries

Query Containment

Quantified Boolean Formulas

Top Venues

Publications

Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Decision Procedures for Sequence Theories (Technical Report). CoRR (2023)
Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Decision Procedures for Sequence Theories. CAV (2) (2023)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Learning Union of Integer Hypercubes with Queries (Technical Report). CoRR (2021)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). CAV (2) (2021)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. APLAS (2020)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. CoRR (2020)
Daniel Neider, Oliver Markgraf
Learning-Based Synthesis of Safety Controllers. CoRR (2019)
Daniel Neider, Oliver Markgraf
Learning-Based Synthesis of Safety Controllers. FMCAD (2019)