We have two papers accepted to the MODELS’21 conference:
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.
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.
The coordination logic of a car-to-x system is modeled using SML scenarios
These scenarios are compiled to specialized Java code that executes the scenarios.
The code is executed in a distributed setting, running on a laptop and Android devices
The scenario execution is integrated with a 3D driving simulator (OpenDS): collisions of cars with marker objects in the 3D simulation are translated to environment events that are injected into the play-out of the car-to-x coordination logic.
I was interviewed by the philosophy research institute in Hannover on digitalization, the effect of social media on democracy and the role of philosophy in this context. The interview appears in the fiph Journal: