75 citations · 330 across the 33 of their papers we have counts for
3 papers · 1 filter
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
We tackle the problem of establishing the soundness of approximate bisimilarity with respect to PCTL and its relaxed semantics. To this purpose, we consider a notion of bisimilarit…
Maximizing Extractable Value from Automated Market Makers
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Automated Market Makers (AMMs) are decentralized applications that allow users to exchange crypto-tokens without the need for a matching exchange order. AMMs are one of the most su…
A theory of Automated Market Makers in DeFi
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Automated market makers (AMMs) are one of the most prominent decentralized finance (DeFi) applications. AMMs allow users to trade different types of crypto-tokens, without the need…