@Article{         DAntoniKincaidWang,
  Author        = "D'Antoni, Loris and Kincaid, Zachary and Wang, Fang",
  Abstract      = "We introduce Symbolic Alternating Finite Automata (s-AFA) as an expressive, succinct, and decidable model for describing sets of finite sequences over arbitrary alphabets. Boolean operations over s-AFAs have linear complexity, which is in sharp contrast with the quadratic cost of intersection and union for non-alternating symbolic automata. Due to this succinctness, emptiness and equivalence checking are PSpace-hard.",
  date-added    = "2016-10-13 09:29:24 +0000",
  date-modified = "2016-10-13 09:36:06 +0000",
  EPrint        = "1610.01722",
  Keywords      = "citesme!",
  Month         = "10",
  Title         = "A Symbolic Decision Procedure for Symbolic Alternating Finite Automata",
  URL           = "https://arxiv.org/abs/1610.01722",
  Year          = "2016",
  bdsk-url-1    = "https://arxiv.org/abs/1610.01722",
  File          = "A Symbolic Decision Procedure for Symbolic Alternating Finite Automata - D'Antoni, Kincaid, Wang (0) (0) - a - a - x.pdf"
}

@Article{ DAntoniKincaidWang, Author = "D'Antoni, Loris and Kincaid, Zachary and Wang, Fang", Abstract = "We introduce Symbolic Alternating Finite Automata (s-AFA) as an expressive, succinct, and decidable model for describing sets of finite sequences over arbitrary alphabets. Boolean operations over s-AFAs have linear complexity, which is in sharp contrast with the quadratic cost of intersection and union for non-alternating symbolic automata. Due to this succinctness, emptiness and equivalence checking are PSpace-hard.", date-added = "2016-10-13 09:29:24 +0000", date-modified = "2016-10-13 09:36:06 +0000", EPrint = "1610.01722", Keywords = "citesme!", Month = "10", Title = "A Symbolic Decision Procedure for Symbolic Alternating Finite Automata", URL = "https://arxiv.org/abs/1610.01722", Year = "2016", bdsk-url-1 = "https://arxiv.org/abs/1610.01722", File = "A Symbolic Decision Procedure for Symbolic Alternating Finite Automata - D'Antoni, Kincaid, Wang (0) (0) - a - a - x.pdf" }