@inproceedings{3c792f1221f6407db6acba36a0f99142,
title = "New Insights on p-safety of Stochastic Systems",
abstract = "The concept of p-safety is a specialization of the stochastic reach-avoidance problem with probability threshold constraints in a barrier certificate manner for stochastic processes. All in all, the objective of p-safety is to identify the set of initial states, from which the probability to reach an unsafe region before reaching a desired target, is small enough (less then p). Identification of the set of these initial states is the core of the safety problem. In this paper, we develop further the theory of p-safety focusing on mathematical characterizations and approximation methods for the associated p-safety function and measure.",
keywords = "Markov models, hitting operator, infinitesimal generator, martingale problem, occupation measure, p-safety, symmetry reduction",
author = "Bujorianu, {Luminita Manuela} and Rafal Wisniewski",
year = "2020",
month = mar,
day = "20",
doi = "10.1109/CDC40024.2019.9029377",
language = "English",
isbn = "978-1-7281-1399-9",
series = "I E E E Conference on Decision and Control. Proceedings",
publisher = "IEEE",
pages = "4433--4438",
booktitle = "2019 IEEE 58th Conference on Decision and Control (CDC)",
address = "United States",
note = "2019 IEEE 58th Conference on Decision and Control (CDC), CDC ; Conference date: 11-12-2019 Through 13-12-2019",
}