ISoLA & AISoLA 2026

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

Talk

Verifying ROS-based Applications Using Timed and Stochastic Timed Automata – Queue Policies and Scalability

Time: Saturday, 24.10

Room: Room 1

Authors: Peter Backeman, Cristina Seceleanu