Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker

Browse the full TACAS paper archive.