most citedProbabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

Extracting Robust Register Automata from Neural Networks over Data Sequences

Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin +3

Automata extraction is a method for synthesising interpretable surrogates for black-box neural models that can be analysed symbolically. Existing techniques assume a finite input a…