oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2014-B5-011 2015-05-15 openaire

On-the-fly fast mean field model checking for collective adaptive systems Massink, Mieke Probabilistic model-checking On-the-fly model-checking Mean-field approximation info:eu-repo/classification/acm/B.8.2 Performance Analysis and Design Aids info:eu-repo/classification/acm/D.2.4 Software/Program Verification info:eu-repo/classification/acm/F.1.2 Modes of Computation info:eu-repo/classification/acm/F.3.1 Specifying and Verifying and Reasoning about Programs info:eu-repo/classification/msc/39-XX Difference and functional equations info:eu-repo/classification/msc/60Jxx Markov processes In this abstract work on the application of mean-field theory in the definition and implementation of on-the-fly probabilistic model checking of CAS. info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL 2014-10-10 info:eu-repo/semantics/other http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-B5-011 en In: Dagstuhl Reports (ISSN: 2192-5283) V.4 n. 3/12 - Dagstuhl Publishing. 2014. info:eu-repo/semantics/altIdentifier/url/http://drops.dagstuhl.de/opus/volltexte/2015/5006/ info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4230/DagRep.4.12.68 application/pdf http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2014-B5-011/2014-B5-011.pdf info:eu-repo/semantics/openAccess