Loris D'Antoni

Department of Computer Science University of Pennsylvania

1 paper in the IJCAI proceedings

IJCAI 2013

Automated Grading of DFA Constructions

with Rajeev Alur, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings