TY  - RPRT
TI  - On Uniformly Sampling Traces of a Transition System (Extended Version)
AU  - Supratik Chakraborty
AU  - Aditya A. Shrotri
AU  - Moshe Y. Vardi
PY  - 2020
DO  - 10.1145/3400302.3415707
UR  - https://arxiv.org/abs/2008.05102
ID  - 2008.05102
ER  -