conftrace_

process planning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

manufacturing system (2) controller synthesis (2) non-deterministic resource (1) parallel operation (1) non-deterministic system (1) situation calculus (1) first-order logic (1)

Papers

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) IJCAI 2022 Process Plan Controllers for Non-Deterministic Manufacturing Systems IJCAI 2017