1 citations · 1 across the 1 of their papers we have counts for
1 paper
Mario Gleirscher, Lukas Plecher, Jan Peleska
Safety supervisors are controllers enforcing safety properties by keeping a system in (or returning it to) a safe state. The development of such high-integrity components can benef…