Login / Signup
Dario Sestini
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Formal Specification
Temporal Properties
Model Checking
Game Design
Top Venues
GAS@ICSE
</>
Publications
</>
Paolo Milazzo
,
Giovanni Pardini
,
Dario Sestini
,
Pasquale Bove
Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design.
GAS@ICSE
(2015)