|
[CRSL22]
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky and Insup Lee.
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis.
In Proc. ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS'22).
2022.
[Proposes abstractions for autonomous systems, including a probabilistic model checking based analysis using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|