On Uniformly Sampling Traces of a Transition System.

Supratik Chakraborty Aditya A. Shrotri Moshe Y. Vardi

Published in: ICCAD (2020)

Keyphrases

sampling strategy
real time
monte carlo
multiscale
sample size
random sampling
sampling algorithm
sampling strategies
databases
learning algorithm
high dimensional
sampling methods
transition model
spatial and temporal resolution