27 citations · 88 across the 16 of their papers we have counts for
1 paper · 1 filter
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…