1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.CR2022★ 1 cited
Threat Repair with Optimization Modulo Theories
Thorsten Tarrach, Masoud Ebrahimi, Sandra König +3
We propose a model-based procedure for automatically preventing security threats using formal models. We encode system models and potential threats as satisfiability modulo theory…
cs.LO2021
Reactive Synthesis Modulo Theories Using Abstraction Refinement
Benedikt Maderbacher, Roderick Bloem
Reactive synthesis builds a system from a specification given as a temporal logic formula. Traditionally, reactive synthesis is defined for systems with Boolean input and output va…
cs.FL2021
Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines
Alberto Larrauri, Roderick Bloem
We consider a system consisting of a sequential composition of Mealy machines, called head and tail. We study two problems related to these systems. In the first problem, models of…