Aim of the workshop
This is a collaborative workshop designed to bring together researchers working in the areas of automata theory and cyber-physical systems, and to get the two communities to collaborate closely.
The main aim of the workshop is to connect researchers with complementary expertise, in order to bring closer techniques from automata theory and those from applications in cyber-physical systems. The two communities have much to learn from each other, and we hope that working together, in problem-focused groups, will help us make progress on some key challenges. We also hope that the workshop will lead to joint research outputs and long-lasting collaborations.