Formal Methods meet Digital Twins: Challenges and Opportunities.Published in ESOP, 2026Recommended citation: Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, and Silvia Lizeth Tapia Tarifa (2026). ESOP, LNCS, Springer.PreprintShare on Twitter Facebook LinkedIn Previous Next
