%0 Journal Article %1 journals/corr/abs-2111-03781 %A Cleaveland, Matthew %A Ruchkin, Ivan %A Sokolsky, Oleg %A Lee, Insup %D 2021 %J CoRR %K dblp %T Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. %U http://dblp.uni-trier.de/db/journals/corr/corr2111.html#abs-2111-03781 %V abs/2111.03781

@article{journals/corr/abs-2111-03781, added-at = {2023-01-26T00:00:00.000+0100}, author = {Cleaveland, Matthew and Ruchkin, Ivan and Sokolsky, Oleg and Lee, Insup}, biburl = {https://www.bibsonomy.org/bibtex/2622b4c7e4465942c649e8911eddba54d/dblp}, ee = {https://arxiv.org/abs/2111.03781}, interhash = {61194c0d2ee242f94c587fd85610a8d7}, intrahash = {622b4c7e4465942c649e8911eddba54d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:44:44.000+0200}, title = {Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2111.html#abs-2111-03781}, volume = {abs/2111.03781}, year = 2021 }