Sign in

An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets.

Hiroyuki OkamuraKazuya MoriharaTadashi Dohi
Published in: VALUETOOLS (2020)
Keyphrases
  • sampling algorithm
  • random sampling
  • markov chain monte carlo
  • least squares
  • higher order
  • reservoir sampling
  • chinese restaurant process
  • active learning