Two STARK Contributions Accepted at Runtime Verification 2026

The paper ‘Monitoring under uncertainty with DisTL‘ by Sebastián Betancourt, Valentina Castiglioni, and Simone Tini has been accepted for the Runtime Verification 2026 (RV 2026) conference, which will take place in Kingston, Canada, from October 6 to 9, 2026.

In addition, the tutorial ‘Modelling and Analysis Under Uncertainty in STARK – A Tutorial on the STARK Tool Set‘ by Valentina Castiglioni and Simone Tini has also been accepted at RV 2026.