30 citations · 111 across the 17 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.FL2016
Families of DFAs as Acceptors of -Regular Languages
Dana Angluin, Udi Boker, Dana Fisman
Families of DFAs (FDFAs) provide an alternative formalism for recognizing -regular languages. The motivation for introducing them was a desired correlation between the automaton…
cs.SE2016★ 29 cited
SyGuS-Comp 2016: Results and Analysis
Rajeev Alur, Dana Fisman, Rishabh Singh +1
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula in a background the…
cs.PL2016★ 17 cited
Results and Analysis of SyGuS-Comp'15
Rajeev Alur, Dana Fisman, Rishabh Singh +1
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula in a background the…