Specification and optimal reactive synthesis of run-time enforcement shields
From MaRDI portal
Publication:2672248
DOI10.1016/j.ic.2022.104865zbMath1504.68131arXiv1909.08541MaRDI QIDQ2672248
Paritosh K. Pandya, Amol Wakankar
Publication date: 8 June 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1909.08541
interval temporal logic; optimal controller synthesis; \(H\)-optimal shield synthesis; deviation minimization; error-correcting shield; logical shield specification; QDDC; quantified discrete duration calculus; shield performance comparison; shield synthesis
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software