5 citations · 15 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LG2022
G2A2: An Automated Graph Generator with Attributes and Anomalies
Saikat Dey, Sonal Jha, Wu-chun Feng
Many data-mining applications use dynamic attributed graphs to represent relational information; but due to security and privacy concerns, there is a dearth of available datasets t…
cs.FL2022
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition
Yong Li, Andrea Turrini, Weizhi Feng +2
The determinization of a nondeterministic Büchi automaton (NBA) is a fundamental construction of automata theory, with applications to probabilistic verification and reactive synth…