Formalizes PCTL on MJLSs to specify and check moment-based stability properties for prescribed initial state sets using linear-algebraic techniques.
Andersson, and Calin Belta
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Approximates encountered state distribution via VAE and constructs dual bound barrier certificates to provide probably approximately safe guarantees in RL by optimizing the non-robust region.
citing papers explorer
-
Stability Checking of Markov Jump Linear Systems via Probabilistic Temporal Logic (Extended Version)
Formalizes PCTL on MJLSs to specify and check moment-based stability properties for prescribed initial state sets using linear-algebraic techniques.
-
Scenario Generation for Risk-Aware Reinforcement Learning with Probably Approximately Safe Guarantees
Approximates encountered state distribution via VAE and constructs dual bound barrier certificates to provide probably approximately safe guarantees in RL by optimizing the non-robust region.