Threat Repair with Optimization Modulo Theories

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic

Research output: Working paper › Preprint

1 results

Finished
TRUSTED - Trutst, security & autonomy in automation of the future
Bloem, R.
1/11/19 → 31/10/22
Project: Research project