@Inproceedings{EPTCS371.1, author = {Aichernig, Bernhard K. and Mu\v{s}kardin, Edi and Pferscher, Andrea}, year = {2022}, title = {Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols}, editor = {Luckcuck, Matt and Farrell, Marie}, booktitle = {{\rm Proceedings Fourth International Workshop on} Formal Methods for Autonomous Systems (FMAS) {\rm and Fourth International Workshop on} Automated and verifiable Software sYstem DEvelopment (ASYDE), {\rm Berlin, Germany, 26th and 27th of September 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {371}, publisher = {Open Publishing Association}, pages = {1-19}, doi = {10.4204/EPTCS.371.1}, }