TY  - RPRT
TI  - Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds
AU  - Julius Tranquilli
AU  - Naman Gupta
PY  - 2025
UR  - https://arxiv.org/abs/2512.06203
ID  - 2512.06203
ER  -