4 citations · 5 across the 3 of their papers we have counts for
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.SE2025★ 1 cited
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer +1
Bisimulation is crucial for verifying process equivalence in probabilistic systems. This paper presents a novel logical framework for analyzing bisimulation in probabilistic parame…
cs.SE2024★ 4 cited
Regular Abstractions for Array Systems
Chih-Duo Hong, Anthony W. Lin
Verifying safety and liveness over array systems is a highly challenging problem. Array systems naturally capture parameterized systems such as distributed protocols with an unboun…