{"id":"https://openalex.org/W4406103491","doi":"https://doi.org/10.1145/3709159","title":"Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System","display_name":"Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System","publication_year":2025,"publication_date":"2025-01-06","ids":{"openalex":"https://openalex.org/W4406103491","doi":"https://doi.org/10.1145/3709159"},"language":"en","primary_location":{"id":"doi:10.1145/3709159","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3709159","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.tue.nl/ws/files/378011209/3709159.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021773538","display_name":"Juliane P\u00e4\u00dfler","orcid":"https://orcid.org/0000-0001-8515-1809"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Juliane P\u00e4\u00dfler","raw_affiliation_strings":["Department of Informatics, University of Oslo","Department of Informatics, University of Oslo, Oslo, Norway"],"raw_orcid":"https://orcid.org/0000-0001-8515-1809","affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Oslo","institution_ids":["https://openalex.org/I184942183"]},{"raw_affiliation_string":"Department of Informatics, University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064415269","display_name":"Maurice H. ter Beek","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maurice H. ter Beek","raw_affiliation_strings":["CNR-ISTI","CNR-ISTI, Pisa Italy"],"raw_orcid":"https://orcid.org/0000-0002-2930-6367","affiliations":[{"raw_affiliation_string":"CNR-ISTI","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"CNR-ISTI, Pisa Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065182304","display_name":"Ferruccio Damiani","orcid":"https://orcid.org/0000-0001-8109-1706"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ferruccio Damiani","raw_affiliation_strings":["University of Turin","University of Turin, Torino Italy"],"raw_orcid":"https://orcid.org/0000-0001-8109-1706","affiliations":[{"raw_affiliation_string":"University of Turin","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"University of Turin, Torino Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054154442","display_name":"Clemens Dubslaff","orcid":"https://orcid.org/0000-0001-5718-8276"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Clemens Dubslaff","raw_affiliation_strings":["Dresden University of Technology","Eindhoven University of Technology","Eindhoven University of Technology, Eindhoven Netherlands","Dresden University of Technology, Dresden Germany"],"raw_orcid":"https://orcid.org/0000-0001-5718-8276","affiliations":[{"raw_affiliation_string":"Dresden University of Technology","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Eindhoven University of Technology","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Dresden University of Technology, Dresden Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039414480","display_name":"Einar Broch Johnsen","orcid":"https://orcid.org/0000-0001-5382-3949"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Einar Broch Johnsen","raw_affiliation_strings":["Department of Informatics, University of Oslo","Department of Informatics, University of Oslo, Oslo Norway"],"raw_orcid":"https://orcid.org/0000-0001-5382-3949","affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Oslo","institution_ids":["https://openalex.org/I184942183"]},{"raw_affiliation_string":"Department of Informatics, University of Oslo, Oslo Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007372421","display_name":"Silvia Lizeth Tapia Tarifa","orcid":"https://orcid.org/0000-0001-9948-2748"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Silvia Lizeth Tapia Tarifa","raw_affiliation_strings":["Department of Informatics, University of Oslo","Department of Informatics, University of Oslo, Oslo Norway"],"raw_orcid":"https://orcid.org/0000-0001-9948-2748","affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Oslo","institution_ids":["https://openalex.org/I184942183"]},{"raw_affiliation_string":"Department of Informatics, University of Oslo, Oslo Norway","institution_ids":["https://openalex.org/I184942183"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5021773538"],"corresponding_institution_ids":["https://openalex.org/I184942183"],"apc_list":null,"apc_paid":null,"fwci":5.3672,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.94520033,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"37","issue":"4","first_page":"1","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.8461795449256897},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6670434474945068},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.6134923696517944},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3958275318145752},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.386435329914093},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37995970249176025},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35784316062927246},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3348532021045685}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.8461795449256897},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6670434474945068},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.6134923696517944},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3958275318145752},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.386435329914093},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37995970249176025},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35784316062927246},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3348532021045685},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3709159","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3709159","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:publications/db13d265-87e9-4231-b079-44f7e6278cf7","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/db13d265-87e9-4231-b079-44f7e6278cf7","pdf_url":"https://pure.tue.nl/ws/files/378011209/3709159.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"P\u00e4\u00dfler, J, ter Beek, M H, Damiani, F, Dubslaff, C, Johnsen, E B & Tarifa, S L T 2025, 'Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System', Formal Aspects of Computing, vol. 37, no. 4, 32. https://doi.org/10.1145/3709159","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dnet:iris________::d23337f1a34b4d70b99d63e012d23794","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"FORMAL ASPECTS OF COMPUTING, vol. 37 (issue 4), pp. 32:1-32:39","raw_type":"Journal article"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:publications/db13d265-87e9-4231-b079-44f7e6278cf7","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/db13d265-87e9-4231-b079-44f7e6278cf7","pdf_url":"https://pure.tue.nl/ws/files/378011209/3709159.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"P\u00e4\u00dfler, J, ter Beek, M H, Damiani, F, Dubslaff, C, Johnsen, E B & Tarifa, S L T 2025, 'Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System', Formal Aspects of Computing, vol. 37, no. 4, 32. https://doi.org/10.1145/3709159","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.7200000286102295}],"awards":[{"id":"https://openalex.org/G1375572575","display_name":null,"funder_award_id":"390696704","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G1563635349","display_name":"Reliable AI for Marine Robotics","funder_award_id":"956200","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G1933938177","display_name":null,"funder_award_id":"EXC 2050/1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3962681082","display_name":null,"funder_award_id":"ID 390696704","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4021765181","display_name":null,"funder_award_id":"2050/1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5674360784","display_name":null,"funder_award_id":"VI.Veni.222.431","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7538914736","display_name":null,"funder_award_id":"956200","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8968660317","display_name":null,"funder_award_id":"ECS00000036","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406103491.pdf","grobid_xml":"https://content.openalex.org/works/W4406103491.grobid-xml"},"referenced_works_count":81,"referenced_works":["https://openalex.org/W16586245","https://openalex.org/W336951068","https://openalex.org/W754964377","https://openalex.org/W789639390","https://openalex.org/W1484829556","https://openalex.org/W1498125516","https://openalex.org/W1498432697","https://openalex.org/W1500250067","https://openalex.org/W1501652040","https://openalex.org/W1542174728","https://openalex.org/W1549367412","https://openalex.org/W1600556058","https://openalex.org/W1862398452","https://openalex.org/W1898469110","https://openalex.org/W1949851419","https://openalex.org/W1968750701","https://openalex.org/W1968899133","https://openalex.org/W1983993607","https://openalex.org/W1988727059","https://openalex.org/W1990911977","https://openalex.org/W2005989815","https://openalex.org/W2005998857","https://openalex.org/W2007793657","https://openalex.org/W2022615696","https://openalex.org/W2048064553","https://openalex.org/W2071109087","https://openalex.org/W2082677523","https://openalex.org/W2104083704","https://openalex.org/W2106417311","https://openalex.org/W2108425969","https://openalex.org/W2110025251","https://openalex.org/W2121319037","https://openalex.org/W2121396013","https://openalex.org/W2125853721","https://openalex.org/W2125955233","https://openalex.org/W2130195901","https://openalex.org/W2142861176","https://openalex.org/W2162786003","https://openalex.org/W2164414043","https://openalex.org/W2208993337","https://openalex.org/W2218951135","https://openalex.org/W2219042429","https://openalex.org/W2284340808","https://openalex.org/W2394570354","https://openalex.org/W2477378326","https://openalex.org/W2495617574","https://openalex.org/W2597775210","https://openalex.org/W2599286514","https://openalex.org/W2605921092","https://openalex.org/W2613502718","https://openalex.org/W2742512175","https://openalex.org/W2808965408","https://openalex.org/W2811472820","https://openalex.org/W2890388820","https://openalex.org/W2899111647","https://openalex.org/W2949566299","https://openalex.org/W2962858291","https://openalex.org/W2968593786","https://openalex.org/W2969172434","https://openalex.org/W2972470316","https://openalex.org/W2973204678","https://openalex.org/W3019048927","https://openalex.org/W3093556890","https://openalex.org/W3094557741","https://openalex.org/W3135019689","https://openalex.org/W3179132544","https://openalex.org/W3181300274","https://openalex.org/W3210456721","https://openalex.org/W4214948013","https://openalex.org/W4280571816","https://openalex.org/W4282981328","https://openalex.org/W4299420650","https://openalex.org/W4309631943","https://openalex.org/W4383898436","https://openalex.org/W4388557134","https://openalex.org/W4391896703","https://openalex.org/W4401722656","https://openalex.org/W4402571826","https://openalex.org/W4403501041","https://openalex.org/W6894357437","https://openalex.org/W6967898841"],"related_works":["https://openalex.org/W2064563243","https://openalex.org/W4250775169","https://openalex.org/W3147584709","https://openalex.org/W4309231192","https://openalex.org/W2977677679","https://openalex.org/W1992327129","https://openalex.org/W2381986121","https://openalex.org/W2370918718","https://openalex.org/W3165104833","https://openalex.org/W2256933480"],"abstract_inverted_index":{"Improved":[0],"autonomy":[1],"in":[2,20,69,86,98,120,164,236,289,300],"robotic":[3,118],"systems":[4,119,127,133],"is":[5,41,172,209,216,287],"needed":[6],"for":[7,161,253],"innovation":[8],"in,":[9],"e.g.,":[10],"the":[11,52,121,139,147,166,170,189,200,207,282,290],"marine":[12],"sector.":[13],"Autonomous":[14,157],"robots":[15,66,96],"that":[16,30,67,215],"are":[17,82,234],"let":[18],"loose":[19],"hazardous":[21],"environments,":[22],"such":[23,124,222],"as":[24,131,174,195,211,268,270],"underwater,":[25],"need":[26,75,90],"to":[27,43,54,59,76,84,92,112,184,248,274,276],"handle":[28],"uncertainties":[29,74,81,233],"stem":[31],"from":[32],"both":[33,227],"their":[34],"environment":[35],"and":[36,115,142,229,239,265,295,299,305],"internal":[37,230],"state.":[38],"While":[39],"self-adaptation":[40],"crucial":[42],"cope":[44],"with":[45,134],"these":[46,80],"uncertainties,":[47],"bad":[48],"decisions":[49],"may":[50],"cause":[51,60],"robot":[53],"get":[55],"lost":[56],"or":[57],"even":[58],"severe":[61],"environmental":[62,228,279],"damage.":[63],"Autonomous,":[64],"self-adaptive":[65,95,117],"operate":[68],"uncontrolled":[70,99],"environments":[71],"full":[72],"of":[73,123,155,169,177,188,199,206,218],"be":[77,110,129,193],"reliable!":[78],"Since":[79],"hard":[83],"replicate":[85],"test":[87],"deployments,":[88],"we":[89,104,257],"methods":[91,252],"formally":[93,113],"analyse":[94,116,275],"operating":[97,197],"environments.":[100],"In":[101],"this":[102],"article,":[103],"show":[105],"how":[106],"feature-oriented":[107,254,292],"techniques":[108],"can":[109,128,192],"used":[111],"model":[114,307],"presence":[122],"uncertainties.":[125,231],"Self-adaptive":[126],"organised":[130],"two-layered":[132],"a":[135,143,152,175,185,212,237],"managed":[136,167],"subsystem":[137,145,168,205],"handling":[138],"domain":[140],"concerns":[141],"managing":[144,204],"implementing":[146],"adaptation":[148],"logic.":[149],"We":[150],"consider":[151],"case":[153,285],"study":[154,286],"an":[156,196],"Underwater":[158],"Vehicle":[159],"(AUV)":[160],"pipeline":[162],"inspection,":[163],"which":[165,191,256],"AUV":[171,190,208],"modelled":[173,210],"family":[176,181],"systems,":[178,255],"where":[179],"each":[180],"member":[182],"corresponds":[183],"valid":[186,223],"configuration":[187],"seen":[194],"mode":[198],"AUV\u2019s":[201],"behaviour.":[202],"The":[203,284],"control":[213],"layer":[214],"capable":[217],"dynamically":[219],"switching":[220],"between":[221],"configurations,":[224],"depending":[225],"on":[226],"These":[232],"captured":[235],"probabilistic":[238,291,304],"highly":[240],"configurable":[241],"model.":[242],"Our":[243],"modelling":[244,293],"approach":[245],"allows":[246],"us":[247],"exploit":[249],"powerful":[250],"formal":[251],"illustrate":[258],"by":[259],"analysing":[260],"safety":[261],"properties,":[262,267],"energy":[263],"consumption,":[264],"multi-objective":[266],"well":[269],"performing":[271],"parameter":[272],"synthesis":[273],"what":[277],"extent":[278],"conditions":[280],"affect":[281],"AUV.":[283],"realised":[288],"language":[294],"verification":[296],"tool":[297],"ProFeat,":[298],"particular":[301],"exploits":[302],"family-based":[303],"parametric":[306],"checking.":[308]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-08T08:47:23.578185","created_date":"2025-10-10T00:00:00"}