Learning Union of Integer Hypercubes with Queries: (with Applications to Monadic Decomposition)

von Markgraf, Oliver
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Parameterized Synthesis with Safety Properties

von Markgraf, Oliver
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)