Probabilistic Model Checking of Handball Action Sequences

Luke Wildman. Probabilistic Model Checking of Handball Action Sequences. In 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023. pages 332-336, IEEE, 2023. [doi]

No reviews for this publication, yet.