Inayat, Afaq, Franco, Muriel, Scheid, Eder, AND Granville, Lisandro. " Security Management Using Planning Domain Definition Language: A Case For Ransomware Mitigation" Proceedings of the Regional School of Computer Networks (ERRC) [Online], (23 October 2023)