Detail publikačního výsledku

Shields to Guarantee Probabilistic Safety in MDPs

Heck, L., Macák, F., Andriushchenko, R., Češka, M., Junges, S.

Originální název

Shields to Guarantee Probabilistic Safety in MDPs

Anglický název

Shields to Guarantee Probabilistic Safety in MDPs

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

Shielding is a prominent model-based technique to ensure safety of autonomous agents. Classical shielding aims to ensure that nothing bad ever happens and comes with strong guarantees about safety and maximal permissiveness. However, shielding systems for probabilistic safety, where something bad is allowed to happen with an acceptable probability, has proven to be more intricate. This paper presents a formal framework that conservatively extends classical shields to probabilistic safety. In this framework, we (i) demonstrate the impossibility of preserving the strong guarantees on safety and permissiveness, (ii) provide natural shields with weaker guarantees, and (iii) introduce offline and online shield constructions ensuring strong safety guarantees. The empirical evaluation highlights the practical advantages of the new shields, as well as their computational feasibility.

Anglický abstrakt

Shielding is a prominent model-based technique to ensure safety of autonomous agents. Classical shielding aims to ensure that nothing bad ever happens and comes with strong guarantees about safety and maximal permissiveness. However, shielding systems for probabilistic safety, where something bad is allowed to happen with an acceptable probability, has proven to be more intricate. This paper presents a formal framework that conservatively extends classical shields to probabilistic safety. In this framework, we (i) demonstrate the impossibility of preserving the strong guarantees on safety and permissiveness, (ii) provide natural shields with weaker guarantees, and (iii) introduce offline and online shield constructions ensuring strong safety guarantees. The empirical evaluation highlights the practical advantages of the new shields, as well as their computational feasibility.

Klíčová slova

Shielding; MDPs; Safety

Klíčová slova v angličtině

Shielding; MDPs; Safety

Autoři

Heck, L., Macák, F., Andriushchenko, R., Češka, M., Junges, S.

Vydáno

24.07.2026

Nakladatel

Springer Science and Business Media Deutschland GmbH

ISBN

9783032325259

Kniha

Lecture Notes in Computer Science

Periodikum

Lecture Notes in Computer Science

Číslo

16683 LNCS

Stát

Švýcarská konfederace

Strany od

576

Strany do

600

Strany počet

25

URL

https://doi.org/10.1007/978-3-032-32526-6_27

BibTex

@inproceedings{BUT212293,
  author="{} and Filip {Macák} and Roman {Andriushchenko} and Milan {Češka} and  {}",
  title="Shields to Guarantee Probabilistic Safety in MDPs",
  booktitle="Lecture Notes in Computer Science",
  year="2026",
  journal="Lecture Notes in Computer Science",
  number="16683 LNCS",
  pages="576--600",
  publisher="Springer Science and Business Media Deutschland GmbH",
  doi="10.1007/978-3-032-32526-6\{_}27",
  isbn="9783032325259",
  url="https://doi.org/10.1007/978-3-032-32526-6_27"
}