2 papers
cs.DS2025
Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models
Landon Taylor, Joshua Jeppson, Ahmed Irfan +3
Highly-concurrent system models with vast state spaces like Chemical Reaction Networks (CRNs) that model biological and chemical systems pose a formidable challenge to cutting-edge…
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…