Showing 2025Show all
3 papers · 1 filter
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.LG2025
Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
Chia-Hsuan Lu, Tony Tan, Michael Benedikt
Graph neural networks (GNNs) are the predominant architecture for learning over graphs. As with any machine learning model, an important issue is the detection of attacks, where an…
cs.LO2025
Analysis of logics with arithmetic
Michael Benedikt, Chia-Hsuan Lu, Tony Tan
We present new results on finite satisfiability of logics with counting and arithmetic. One result is a tight bound on the complexity of satisfiability of logics with so-called loc…