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.LO2022
Counterexample Generation for Infinite-State Chemical Reaction Networks
Mohammad Ahmadi, Zhen Zhang, Chris Myers +2
Counterexample generation is an indispensable part of model checking process. In stochastic model checking, counterexample generation is a challenging problem as it is not enough t…