Publication in FAC
A new publication has been accepted by the ACM Journal Formal Aspects of Computing (FAC) in June 2023. Bernhard K. Aichernig, Martin Tappler, and Felix Wallner. 2023. Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. Form. Asp. Comput. …