Threat Repair with Optimization Modulo Theories

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

Research output: Working paperPreprint

Fingerprint

Dive into the research topics of 'Threat Repair with Optimization Modulo Theories'. Together they form a unique fingerprint.

Computer Science