PDDL to DFA: A Symbolic Transformation for Effective Reasoning.

Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti

Browse the full TIME paper archive.