Differential Analysis of Interacting Automata with Immediate Actions
Luca Bortolussi, Mirco Tribastone · 2014
The stochastic modelling of software systems with activities of durations that are separated by many orders of magnitude typically leads to numerical complications, due to stiffness. To avoid explicit state-space generation—a prerequisite to tackle this problem via suitable manipulations or aggregat