Baidu
map

A Symbolic Decision Procedure for Symbolic Alternating Finite Automata

D'Antoni, L; Kincaid, Z; Wang, F

D'Antoni, L (reprint author), Univ Wisconsin, Madison, WI 53706 USA.

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018; 336 (): 79

Abstract

We introduce Symbolic Alternating Finite Automata (s-AFA) as a succinct and decidable model for describing sets of finite sequences over arbitrary alp......

Full Text Link


Baidu
map
Baidu
map
Baidu
map