Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
RAGTIMER 1.0: Rapid Rare-Event Partial State Space Construction for Stochastic VAS (extended version)
Landon Taylor, Joshua Jeppson, Bingqing Hu +2
Transient reachability analysis of rare events in Continuous-Time Stochastic Vector Addition Systems (CTSVAS) such as Chemical Reaction Networks (CRNs) has proven a formidable chal…
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…