Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko. Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-Free Languages. In José A. Soto, Andreas Wiese, editors, LATIN 2024: Theoretical Informatics - 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II. Volume 14579 of Lecture Notes in Computer Science, pages 257-271, Springer, 2024. [doi]
Abstract is missing.