Extending Automata Learning to Extended Finite State Machines

Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen. Extending Automata Learning to Extended Finite State Machines. In Amel Bennaceur, Reiner Hähnle, Karl Meinke, editors, Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Volume 11026 of Lecture Notes in Computer Science, pages 149-177, Springer, 2018. [doi]

Abstract

Abstract is missing.