Formal Verification of Autonomous Cyber Defense for Abstraction of Critical Network Scenarios. - Samy Meziane; Laurin Holz; Tobias Hürten; Johannes Loevenich; Thies Möhlenhof; Roberto Rigolin F. Lopes (MILCOM, 2025)