Fixing the State Budget: Approximation of Regular Languages with Small DFAs

@inproceedings{Gange2017FixingTS,
  title={Fixing the State Budget: Approximation of Regular Languages with Small DFAs},
  author={Graeme Gange and Pierre Ganty and Peter J. Stuckey},
  booktitle={ATVA},
  year={2017}
}