FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Synthesis of plans for teams of manufacturing robots

Author: Natasha Alechina

Paper Information

Title:Synthesis of plans for teams of manufacturing robots
Authors:Natasha Alechina
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Synthesis, Cyber-physical systems, Manufacturing
Pages:1
Talk:Jul 31 11:55 (Session 11)
Paper: