tag : model checking
3 publications
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012@SASO 2012) — Marco Alberti, Andrea Omicini Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (SASO 2012) — Marco Alberti, Andrea Omicini Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli