Showing math.OCShow all
2 papers · 1 filter
math.OC2024
Large Deviations in Safety-Critical Systems with Probabilistic Initial Conditions
Aitor R. Gomez, Manuela L. Bujorianu, Rafal Wisniewski
We often rely on probabilistic measures -- e.g. event probability or expected time -- to characterize systems' safety. However, determining these quantities for extremely low-proba…
math.OC2021
Safe Dynamic Programming
Rafal Wisniewski, Manuela L. Bujorianu
We incorporate safety specifications into dynamic programming. Explicitly, we address the minimization problem of a Markov decision process up to a stopping time with safety constr…