Login / Signup
Automated Grading of DFA Constructions.
Rajeev Alur
Loris D'Antoni
Sumit Gulwani
Dileep Kini
Mahesh Viswanathan
Published in:
IJCAI (2013)
Keyphrases
</>
semi automated
automated analysis
artificial neural networks
semi automatic
computer assisted
databases
genetic algorithm
artificial intelligence
knowledge base
database systems
expert systems
wireless sensor networks
fully automated
regular expressions
deterministic finite automata