Understand volatility of algorithmic stablecoin: modeling, verification and empirical analysis

DOI10.1007/978-3-662-63958-0_8zbMath1492.91463arXiv2101.08423OpenAlexW3204346888MaRDI QIDQ2670821

Yuming Yuan, Hui Li, Wenqi Zhao

Publication date: 1 June 2022

Full work available at URL: https://arxiv.org/abs/2101.08423

zbMATH Keywords

empirical analysismodeling frameworkstablecoins

Mathematics Subject Classification ID

Cryptography (94A60) Actuarial science and mathematical finance (91G99)

Uses Software

• Uppaal

Cites Work

• A theory of timed automata
• Uppaal in a nutshell

This page was built for publication: Understand volatility of algorithmic stablecoin: modeling, verification and empirical analysis