Presentation at FMDT 2023

Our paper Mining Digital Twins of a VPN Server has been presented at the workshop Applications of Formal Methods and Digital Twins in Lübeck, Germany.

In this paper, written together with Benjamin Wunderling, Bernhard K. Aichernig, and Edi Muškardin, we showcase how active automata learning can be used to mine digital twins of VPN servers.