• 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