Massimo D'Antonio

Learn More
Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem. In this paper we will investigate the applicability of modern SAT solvers to this problem. For this purpose we will define an encoding of reachability problems for Cellular Automata into(More)
Many calderas show repeated unrest over centuries. Though probably induced by magma, this unique behaviour is not understood and its dynamics remains elusive. To better understand these restless calderas, we interpret deformation data and build thermal models of Campi Flegrei caldera, Italy. Campi Flegrei experienced at least 4 major unrest episodes in the(More)
  • 1