Luca Battisti

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Planning Domains

Automated Verification

Linear Temporal Logic

Top Venues

Publications

Luca Battisti, Marco Cozzini, David Macii
Industrial waste heat recovery strategies in urban contexts: A performance comparison. ISC2 (2016)
Luca Battisti, Damiano Macedonio, Massimo Merro
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks. FSEN (2013)