conftrace_

automata transducer

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

manufacturing orchestration (1) manufacturing automation (1) manufacturing process (1) controller synthesis (1) reactive synthesis (1) automata theory (1) pareto optimality (1)

Papers

Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019