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