Bernhard K. Aichernig, Martin Tappler, Felix Wallner. Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. In Wolfgang Ahrendt, Heike Wehrheim, editors, Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]. Volume 12165 of Lecture Notes in Computer Science, pages 3-22, Springer, 2020. [doi]
Abstract is missing.