Log-Derivative Trick for Parametric Markov Chains

Arthur Gall, Ichiro Hasuo, Thomas Seiller

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.