We have two papers accepted to the MODELS’21 conference:

1. The first submission is titled “Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines” and is the result of a collaboration with Eric Wete at Volkswagen and Andreas Wortmann. It presents an approach to combine formal controller synthesis and AI planning to arrive at correct and optimized choreographies for multi-robot cells in automotive production lines.
2. The second submission, titled “Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal” is the result of a collaboration with Carsten Wiecher, Jannik Fischbach, Andreas Vogelsang, Carsten Wolff, and Roman Dumitrescu. If presents an approach for the iterative requirements specification and analysis based on test-driven modeling and execution of scenario-based specification and applying Spectmate’s NLP capabilities for deriving tests from textual component requirements.