Situation Calculus for Synthesis of Manufacturing Controllers

Open in new window