Sol Zilberman, Betty H. C. Cheng. PRoBIFy: Formal-based Probabilistic Behavior Modeling for Verification of Autonomous Vehicles. In 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2025 - Companion, Grand Rapids, MI, USA, October 5-10, 2025. pages 617-626, IEEE, 2025. [doi]
Abstract is missing.