TY  - RPRT
TI  - Threat Repair with Optimization Modulo Theories
AU  - Thorsten Tarrach
AU  - Masoud Ebrahimi
AU  - Sandra König
AU  - Christoph Schmittner
AU  - Roderick Bloem
AU  - Dejan Nickovic
PY  - 2022
UR  - https://arxiv.org/abs/2210.03207
ID  - 2210.03207
ER  -