Shield Synthesis:

DOI10.1007/978-3-662-46681-0_51zbMath1420.68119arXiv1501.02573OpenAlexW2963530628MaRDI QIDQ5194961

Robert Könighofer, Bettina Könighofer, Roderick Bloem, Chao Wang

Publication date: 17 September 2019

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1501.02573

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (15)

Runtime monitors for Markov decision processes ⋮ Enforcing almost-sure reachability in POMDPs ⋮ Introduction to Model Checking ⋮ Runtime enforcement of hyperproperties ⋮ Planning for potential: efficient safe reinforcement learning ⋮ Predictive runtime enforcement ⋮ Specification and optimal reactive synthesis of run-time enforcement shields ⋮ On monitoring linear temporal properties ⋮ Risk-aware shielding of partially observable Monte Carlo planning policies ⋮ Dynamic shielding for reinforcement learning in black-box environments ⋮ Compositional runtime enforcement revisited ⋮ Shield synthesis ⋮ Runtime enforcement of timed properties using games ⋮ Unnamed Item ⋮ Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems

This page was built for publication: Shield Synthesis: