Inferring Symbolic Automata
Work
Year: 2023
Type: article
Abstract: We study the learnability of symbolic finite state automata (SFA), a model shown useful in many applications in software verification. The state-of-the-art literature on this topic follows the query l... more
Authors Dana Fisman, Hadar Frenkel, Sandra Zilles
Institutions Ben-Gurion University of the Negev, Helmholtz Center for Information Security, University of Regina
Cites: 63
Cited by: 4
Related to: 10
FWCI: 0.854
Citation percentile (by year/subfield): 79.69
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: diamond