ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Session

SMC 4 • Saturday, 24.10

Room: Room 2
TimeTopicAuthors
14:30004 · Extending a Linear Parallel Bisimulation Algorithm with Multi-Way Splitting
15:00005 · Optimality of Stopping Algorithms for Statistical Model Checking
15:30006 · Resampling in Importance Splitting Rare Even Simulation: n-th Time's the Charm