<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.imtlucca.it/id/eprint/3491> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/BookSection> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/title> "Modelling and Analyzing Adaptive Self-assembly Strategies with Maude"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/abstract> "Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify and analyse a prominent example of adaptive system: robot swarms equipped with obstacle-avoidance self-assembly strategies. The analysis exploits the statistical model checker PVesta."^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/date> "2012" .
<http://eprints.imtlucca.it/id/document/4591> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/issue> "7571" .
<http://eprints.imtlucca.it/id/org/ext-c45ef1b65703a5e06d783ea10b1030ab> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.imtlucca.it/id/org/ext-c45ef1b65703a5e06d783ea10b1030ab> <http://xmlns.com/foaf/0.1/name> "Springer Berlin Heidelberg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/org/ext-c45ef1b65703a5e06d783ea10b1030ab> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.imtlucca.it/id/org/ext-c45ef1b65703a5e06d783ea10b1030ab> <http://xmlns.com/foaf/0.1/name> "Springer Berlin Heidelberg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/publisher> <http://eprints.imtlucca.it/id/org/ext-c45ef1b65703a5e06d783ea10b1030ab> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/peerReviewed> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-2d4c080f4f81b10e0b83926eee8912e7> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/3491#authors> .
<http://eprints.imtlucca.it/id/eprint/3491#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.imtlucca.it/id/person/ext-2d4c080f4f81b10e0b83926eee8912e7> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-4a156209c577f341824c192a13add978> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/3491#authors> .
<http://eprints.imtlucca.it/id/eprint/3491#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://eprints.imtlucca.it/id/person/ext-4a156209c577f341824c192a13add978> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-a007dbf334fd84961718ed4b540ba3aa> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/3491#authors> .
<http://eprints.imtlucca.it/id/eprint/3491#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <http://eprints.imtlucca.it/id/person/ext-a007dbf334fd84961718ed4b540ba3aa> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-f0674e426648aaf26eec366d963c6a85> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/3491#authors> .
<http://eprints.imtlucca.it/id/eprint/3491#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <http://eprints.imtlucca.it/id/person/ext-f0674e426648aaf26eec366d963c6a85> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-andrea.vandin@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/3491#authors> .
<http://eprints.imtlucca.it/id/eprint/3491#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_5> <http://eprints.imtlucca.it/id/person/ext-andrea.vandin@imtlucca.it> .
<http://eprints.imtlucca.it/id/person/ext-a007dbf334fd84961718ed4b540ba3aa> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-a007dbf334fd84961718ed4b540ba3aa> <http://xmlns.com/foaf/0.1/givenName> "Fabio"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-a007dbf334fd84961718ed4b540ba3aa> <http://xmlns.com/foaf/0.1/familyName> "Gadducci"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-a007dbf334fd84961718ed4b540ba3aa> <http://xmlns.com/foaf/0.1/name> "Fabio Gadducci"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-2d4c080f4f81b10e0b83926eee8912e7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-2d4c080f4f81b10e0b83926eee8912e7> <http://xmlns.com/foaf/0.1/givenName> "Roberto"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-2d4c080f4f81b10e0b83926eee8912e7> <http://xmlns.com/foaf/0.1/familyName> "Bruni"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-2d4c080f4f81b10e0b83926eee8912e7> <http://xmlns.com/foaf/0.1/name> "Roberto Bruni"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-4a156209c577f341824c192a13add978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-4a156209c577f341824c192a13add978> <http://xmlns.com/foaf/0.1/givenName> "Andrea"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-4a156209c577f341824c192a13add978> <http://xmlns.com/foaf/0.1/familyName> "Corradini"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-4a156209c577f341824c192a13add978> <http://xmlns.com/foaf/0.1/name> "Andrea Corradini"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-andrea.vandin@imtlucca.it> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-andrea.vandin@imtlucca.it> <http://xmlns.com/foaf/0.1/givenName> "Andrea"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-andrea.vandin@imtlucca.it> <http://xmlns.com/foaf/0.1/familyName> "Vandin"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-andrea.vandin@imtlucca.it> <http://xmlns.com/foaf/0.1/name> "Andrea Vandin"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-f0674e426648aaf26eec366d963c6a85> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-f0674e426648aaf26eec366d963c6a85> <http://xmlns.com/foaf/0.1/givenName> "Alberto"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-f0674e426648aaf26eec366d963c6a85> <http://xmlns.com/foaf/0.1/familyName> "Lluch Lafuente"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-f0674e426648aaf26eec366d963c6a85> <http://xmlns.com/foaf/0.1/name> "Alberto Lluch Lafuente"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/BookSectionEPrint> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/isPartOf> <http://eprints.imtlucca.it/id/repository> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://eprints.org/ontology/hasDocument> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4591> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.imtlucca.it/id/document/4591> <http://www.w3.org/2000/01/rdf-schema#label> "Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (PDF)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/elements/1.1/hasVersion> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://eprints.org/ontology/hasDraft> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4591> <http://creativecommons.org/ns#license> <http://creativecommons.org/licenses/by-nc/3.0/> .
<http://eprints.imtlucca.it/id/document/4591> <http://eprints.org/ontology/hasFile> <http://eprints.imtlucca.it/3491/1/wrla2012.pdf> .
<http://eprints.imtlucca.it/id/document/4591> <http://purl.org/dc/terms/hasPart> <http://eprints.imtlucca.it/3491/1/wrla2012.pdf> .
<http://eprints.imtlucca.it/3491/1/wrla2012.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "wrla2012.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://eprints.org/ontology/hasDocument> <http://eprints.imtlucca.it/id/document/4592> .
<http://eprints.imtlucca.it/id/document/4592> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.imtlucca.it/id/document/4592> <http://www.w3.org/2000/01/rdf-schema#label> "Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/document/4592> <http://eprints.org/relation/isVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4592> <http://eprints.org/relation/isVolatileVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4592> <http://eprints.org/relation/islightboxThumbnailVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4592> <http://eprints.org/ontology/hasFile> <http://eprints.imtlucca.it/3491/2/lightbox.jpg> .
<http://eprints.imtlucca.it/id/document/4592> <http://purl.org/dc/terms/hasPart> <http://eprints.imtlucca.it/3491/2/lightbox.jpg> .
<http://eprints.imtlucca.it/3491/2/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://eprints.org/ontology/hasDocument> <http://eprints.imtlucca.it/id/document/4593> .
<http://eprints.imtlucca.it/id/document/4593> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.imtlucca.it/id/document/4593> <http://www.w3.org/2000/01/rdf-schema#label> "Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/document/4593> <http://eprints.org/relation/isVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4593> <http://eprints.org/relation/isVolatileVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4593> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4593> <http://eprints.org/ontology/hasFile> <http://eprints.imtlucca.it/3491/3/preview.jpg> .
<http://eprints.imtlucca.it/id/document/4593> <http://purl.org/dc/terms/hasPart> <http://eprints.imtlucca.it/3491/3/preview.jpg> .
<http://eprints.imtlucca.it/3491/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://eprints.org/ontology/hasDocument> <http://eprints.imtlucca.it/id/document/4594> .
<http://eprints.imtlucca.it/id/document/4594> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.imtlucca.it/id/document/4594> <http://www.w3.org/2000/01/rdf-schema#label> "Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/document/4594> <http://eprints.org/relation/isVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4594> <http://eprints.org/relation/isVolatileVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4594> <http://eprints.org/relation/ismediumThumbnailVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4594> <http://eprints.org/ontology/hasFile> <http://eprints.imtlucca.it/3491/4/medium.jpg> .
<http://eprints.imtlucca.it/id/document/4594> <http://purl.org/dc/terms/hasPart> <http://eprints.imtlucca.it/3491/4/medium.jpg> .
<http://eprints.imtlucca.it/3491/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://eprints.org/ontology/hasDocument> <http://eprints.imtlucca.it/id/document/4595> .
<http://eprints.imtlucca.it/id/document/4595> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.imtlucca.it/id/document/4595> <http://www.w3.org/2000/01/rdf-schema#label> "Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/document/4595> <http://eprints.org/relation/isVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4595> <http://eprints.org/relation/isVolatileVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4595> <http://eprints.org/relation/issmallThumbnailVersionOf> <http://eprints.imtlucca.it/id/document/4591> .
<http://eprints.imtlucca.it/id/document/4595> <http://eprints.org/ontology/hasFile> <http://eprints.imtlucca.it/3491/5/small.jpg> .
<http://eprints.imtlucca.it/id/document/4595> <http://purl.org/dc/terms/hasPart> <http://eprints.imtlucca.it/3491/5/small.jpg> .
<http://eprints.imtlucca.it/3491/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/3491> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://eprints.imtlucca.it/3491/> .
<http://eprints.imtlucca.it/3491/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #3491 \n\nModelling and Analyzing Adaptive Self-assembly Strategies with Maude\n\n" .
<http://eprints.imtlucca.it/3491/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<http://eprints.imtlucca.it/3491/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.imtlucca.it/id/eprint/3491> .
<http://eprints.imtlucca.it/id/subject/QA75> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://eprints.imtlucca.it/id/subject/QA75> <http://www.w3.org/2004/02/skos/core#prefLabel> "QA75 Electronic computers. Computer science"@en .
<http://eprints.imtlucca.it/id/eprint/3491> <http://purl.org/dc/terms/subject> <http://eprints.imtlucca.it/id/subject/QA75> .