ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Session

Session 4 • Sunday, 3.11

Room: Room 1
TimeTopicAuthors
16:30On SMC-Based Dependability Analysis in LoLiPoP-IoT Project
16:55Towards Verifying Robotic Systems using Statistical Model Checking in STORM
17:20Analyzing Uncertainty Effects using Statistical Model Checker: from Gate Level to Task Level