@misc{indiciaef1fd6ff3e78e,
  title = {Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds},
  author = {Julius Tranquilli and Naman Gupta},
  year = {2025},
  url = {https://arxiv.org/abs/2512.06203},
  note = {Source identifier: 2512.06203}
}