Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption

von Banno, Ryotaro
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)