most citedTools at the Frontiers of Quantitative Verification

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2025

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces

Joshua Jeppson, Landon Taylor, Bingqing Hu +1

Rare events in Stochastic Vector Addition System (VAS) are of significant interest because, while extremely unlikely, they may represent undesirable behavior that can have adverse…