Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.
Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo
Browse the full AAAI paper archive.
Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo
Browse the full AAAI paper archive.