A Structured Approach for Synthesizing Planners from Specifications.

Biplav Srivastava Subbarao Kambhampati Amol Dattatraya Mali

Published in: ASE (1997)

Keyphrases

structured data
high level
finite state machines
formal specification
functional requirements
structured learning
real world
artificial intelligence
petri net
heuristic search
planning systems
structured output