INFERRING SYMBOLIC AUTOMATA

Fisman, D; Frenkel, H; Zilles, S

Fisman, D (通讯作者),Ben Guripn Univ, Beer Sheva, Israel.

LOGICAL METHODS IN COMPUTER SCIENCE, 2023; 19 (2):

Abstract

We study the learnability of symbolic finite state automata (SFA), a model shown useful in many applications in software verification. The state-of-th......

Full Text Link