Two papers accepted to MODELS’21

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.

MEKES 2018 Workshop Paper Preprint and Video available

We uploaded a preprint of our paper “A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems — Early Virtual Prototyping of Car-to-X System Specifications”, which was accepted at the MEKES 2018 Workshop.

We also created a video presentation of our work, including a demo of the implemented prototype.


  • 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.