Learning Attack Trees by Genetic Algorithms. - Florian Dorfhuber; Julia Eisentraut; Jan Kretínský (ICTAC, 2023)

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. - Florian Dorfhuber; Julia Eisentraut; Katharina Klioba; Jan Kretínský (QEST+FORMATS, 2024)

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. - Florian Dorfhuber; Jan Kretínský; Julia Eisentraut (Zenodo, 2024)

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. - Florian Dorfhuber; Jan Kretínský; Julia Eisentraut (Zenodo, 2024)