27 citations · 59 across the 21 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Minimization of Dynamical Systems over Monoids
Georgios Argyris, Alberto Lluch Lafuente, Alexander Leguizamon Robayo +3
Quantitative notions of bisimulation are well-known tools for the minimization of dynamical models such as Markov chains and ordinary differential equations (ODEs). In \emph{forwar…
cs.SE2022★ 1 cited
Formal Analysis of Lending Pools in Decentralized Finance
Massimo Bartoletti, James Chiang, Tommi Junttila +3
Decentralised Finance (DeFi) applications constitute an entire financial ecosystem deployed on blockchains. Such applications are based on complex protocols and incentive mechanism…