ML Anthology

Automated Grading of DFA Constructions

Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
IJCAI 2013 pp. 1976-1982
/ijcai/2013/alur2013ijcai-automated/
IJCAI Semantic Scholar

Cite

Text

Alur et al. "Automated Grading of DFA Constructions." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Alur et al. "Automated Grading of DFA Constructions." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/alur2013ijcai-automated/)

BibTeX

@inproceedings{alur2013ijcai-automated,
  title     = {{Automated Grading of DFA Constructions}},
  author    = {Alur, Rajeev and D'Antoni, Loris and Gulwani, Sumit and Kini, Dileep and Viswanathan, Mahesh},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {1976-1982},
  url       = {https://mlanthology.org/ijcai/2013/alur2013ijcai-automated/}
}