C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism.
Arpit Sharma
Published in:
ICTAC (2019)
Keyphrases
</>
stochastic systems
stochastic models
conservation laws
confidence intervals
sample path
model checking
worst case