Towards the Automatic Generation of Models for Prediction, Monitoring, and Testing of Cyber-Physical Systems.

Markus Knitt, Swantje Plambeck, Jan Christian Wieck, Julian Kohlisch, Stephan Balduin, Eric M. S. P. Veith, Jakob Schyga, Johannes Hinckeldeyn, Grschwin Fey, Jochen Kreutzfeldt

Browse the full ETFA paper archive.