Login / Signup
Giovanni Meacci
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Multi Agent Learning
Formal Methods
Game Theory
Nash Equilibria
Top Venues
Programming Languages with Applications to Biology and Security
</>
Publications
</>
Giancarlo Bigi
,
Andrea Bracciali
,
Giovanni Meacci
,
Emilio Tuosto
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods.
Programming Languages with Applications to Biology and Security
(2015)