TY  - RPRT
TI  - Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-free Languages
AU  - Thomas Brihaye
AU  - Sophie Pinchinat
AU  - Alexandre Terefenko
PY  - 2023
UR  - https://arxiv.org/abs/2312.00458
ID  - 2312.00458
ER  -