Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Active automata learning in practice: An annotated bibliography of the years 2011 to 2016
Howar, Falk; Steffen, Bernhard
Konferenzbeitrag
2018Extending automata learning to extended finite state machines
Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard
Konferenzbeitrag
2018RERS 2018: CTL, LTL, and reachability
Jasper, Marc; Mues, Malte; Schlüter, Maximilian; Steffen, Bernhard; Howar, Falk
Konferenzbeitrag