3 papers
cs.FL2023
On the Succinctness of Good-for-MDPs Automata
Sven Schewe, Qiyi Tang
Good-for-MDPs and good-for-games automata are two recent classes of nondeterministic automata that reside between general nondeterministic and deterministic automata. Deterministic…
cs.FL2023
A novel family of finite automata for recognizing and learning -regular languages
Yong Li, Sven Schewe, Qiyi Tang
Families of DFAs (FDFAs) have recently been introduced as a new representation of -regular languages. They target ultimately periodic words, with acceptors revolving around acce…
cs.SE2021
1-to-1 or 1-to-n? Investigating the effect of function inlining on binary similarity analysis
Ang Jia, Ming Fan, Wuxia Jin +6
Binary similarity analysis is critical to many code-reuse-related issues and "1-to-1" mechanism is widely applied, where one function in a binary file is matched against one functi…