3 papers
cs.AI2025
Synthesis and Verification of Register Automata over Data Sequences (Technical Report)
Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin +3
Data sequences, such as time series, traces, and sensor streams, are words over large or infinite data domains. Their properties often depend on comparisons between values at diffe…
cs.LO2020
Parameterized Synthesis with Safety Properties
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin +2
Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g.,…
cs.GT2019
Learning-Based Synthesis of Safety Controllers
Daniel Neider, Oliver Markgraf
We propose a machine learning framework to synthesize reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration, two-p…