What type of study is this?

This is a Quantitative Study study (also classified as: Experimental Study).

October 1, 2025Open Access

k-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems

View Full Paper

Ask AI

Bookmark

Authors

New barrier certificates enhance safety in stochastic dynamical systems, suggesting improved probabilistic outcomes.

Barrier certificates act as nonnegative supermartingales, aiding in assessing safety in stochastic systems.
Utilizing $k$-induction relaxes supermartingale conditions, allowing flexibility in achieving safety certainties.
Interpolation-inspired certificates improve on standard methods, enabling automation in their search through optimization.
The proposed framework integrates $k$-induction concepts, facilitating effective verification of safety measures.

Oumer et al. (2025) studied this question.

View Full Paper

Ask AI

Bookmark