Synthesizing Monitors for Safety Properties
Abstract elided by the publisher.
Related papers
- Perception Contracts for Safety of ML-Enabled Systems OOPSLA 2023
- Shield Synthesis: - Runtime Enforcement for Reactive Systems TACAS 2015
- VeriPhy: verified controller executables from verified cyber-physical system models PLDI 2018
- Shadow state encoding for efficient monitoring of block-level properties ISMM 2017
- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic VMCAI 2024
- An inductive synthesis framework for verifiable reinforcement learning PLDI 2019
- Synthesizing fine-grained synchronization protocols for implicit monitors OOPSLA 2022
- Best-Effort Safety Control of Multi-mode Systems CAV 2026