Proactive self-adaptation and assurance of explainable Human–Machine Teaming
With the pervasiveness of software-intensive systems, autonomous agents are increasingly involved in missions entailing close cooperation with humans in critical domains. Human–Machine Teaming (HMT) requires agents to have a high degree of autonomy to make dependable decisions in safety-critical set...
Gespeichert in:
| Veröffentlicht in: | The Journal of systems and software Jg. 232; S. 112657 |
|---|---|
| Hauptverfasser: | , , , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier Inc
01.02.2026
|
| Schlagworte: | |
| ISSN: | 0164-1212 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | With the pervasiveness of software-intensive systems, autonomous agents are increasingly involved in missions entailing close cooperation with humans in critical domains. Human–Machine Teaming (HMT) requires agents to have a high degree of autonomy to make dependable decisions in safety-critical settings and quickly react to unexpected changes in the environment. We present AdaptEASE, a framework that leverages formal modeling and verification to model HMT missions offline and predict the mission outcome at runtime through Machine Learning (ML) models trained on Statistical Model Checking (SMC) results. The framework also exploits explainable AI techniques to inform stakeholders on what factors impact the predicted outcome positively or negatively. Building upon previous work, AdaptEASE enhances the controlled autonomous agents with the capability to self-adapt at runtime proactively. Specifically, if an unfavorable situation emerges during the HMT, AdaptEASE identifies an adaptation action that guarantees balance between the agents’ performance and the involved human subjects’ comfort levels. While runtime adaptation exploits ML predictors to preserve the timeliness of the HMT, the proposed adaptation action is asynchronously subject to formal verification to provide stakeholders with an assessment of the agents’ decisions and of the overall HMT trustworthiness. The validation testbed is a case study from the healthcare robot domain. The optimized versions of 1000 different mission configurations lead to a statistically significant estimated increase of HMT performance. The asynchronous SMC formal verification confirms that 75% of the optimized configurations increase the HMT performance. |
|---|---|
| AbstractList | With the pervasiveness of software-intensive systems, autonomous agents are increasingly involved in missions entailing close cooperation with humans in critical domains. Human–Machine Teaming (HMT) requires agents to have a high degree of autonomy to make dependable decisions in safety-critical settings and quickly react to unexpected changes in the environment. We present AdaptEASE, a framework that leverages formal modeling and verification to model HMT missions offline and predict the mission outcome at runtime through Machine Learning (ML) models trained on Statistical Model Checking (SMC) results. The framework also exploits explainable AI techniques to inform stakeholders on what factors impact the predicted outcome positively or negatively. Building upon previous work, AdaptEASE enhances the controlled autonomous agents with the capability to self-adapt at runtime proactively. Specifically, if an unfavorable situation emerges during the HMT, AdaptEASE identifies an adaptation action that guarantees balance between the agents’ performance and the involved human subjects’ comfort levels. While runtime adaptation exploits ML predictors to preserve the timeliness of the HMT, the proposed adaptation action is asynchronously subject to formal verification to provide stakeholders with an assessment of the agents’ decisions and of the overall HMT trustworthiness. The validation testbed is a case study from the healthcare robot domain. The optimized versions of 1000 different mission configurations lead to a statistically significant estimated increase of HMT performance. The asynchronous SMC formal verification confirms that 75% of the optimized configurations increase the HMT performance. |
| ArticleNumber | 112657 |
| Author | Lestingi, Livia Bersani, Marcello M. Mirandola, Raffaela Camilli, Matteo Scandurra, Patrizia Rossi, Matteo |
| Author_xml | – sequence: 1 givenname: Livia orcidid: 0000-0001-8724-1541 surname: Lestingi fullname: Lestingi, Livia email: livia.lestingi@polimi.it organization: Politecnico di Milano, Piazza Leonardo da Vinci 32, 20133, Milan, Italy – sequence: 2 givenname: Marcello M. orcidid: 0000-0001-5137-940X surname: Bersani fullname: Bersani, Marcello M. email: marcellomaria.bersani@polimi.it organization: Politecnico di Milano, Piazza Leonardo da Vinci 32, 20133, Milan, Italy – sequence: 3 givenname: Matteo surname: Camilli fullname: Camilli, Matteo email: matteo.camilli@polimi.it organization: Politecnico di Milano, Piazza Leonardo da Vinci 32, 20133, Milan, Italy – sequence: 4 givenname: Raffaela surname: Mirandola fullname: Mirandola, Raffaela email: raffaela.mirandola@kit.edu organization: Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131, Karlsruhe, Germany – sequence: 5 givenname: Matteo orcidid: 0000-0002-9193-9560 surname: Rossi fullname: Rossi, Matteo email: matteo.rossi@polimi.it organization: Politecnico di Milano, Piazza Leonardo da Vinci 32, 20133, Milan, Italy – sequence: 6 givenname: Patrizia orcidid: 0000-0002-9209-3624 surname: Scandurra fullname: Scandurra, Patrizia email: patrizia.scandurra@unibg.it organization: Università di Bergamo, Viale Marconi 5, 24044, Dalmine (BG), Italy |
| BookMark | eNp9kE1OwzAQRr0oEm3hAOxygQSPEzuNWKEKKFL5WXRvTZwxOEqdyk4r2HEHbshJSFXWrD5pNO_TzJuxie89MXYFPAMO6rrN2hgzwYXMAISS5YRNx3mRggBxzmYxtpzzclyYsufX0KMZ3IGSSJ1NscHdgIPrfYK-STDGfUBvKOltQh-7Dp3HuqNktd-i__n6fkLz7jwlG8Kt828X7MxiF-nyL-dsc3-3Wa7S9cvD4_J2nRohYUgrUBwklbbgQhHIRnE0ZVHWvMwXtQJTVEJVklupeEPWjIFNZVReL6BWeT5ncKo1oY8xkNW74LYYPjVwfXSgWz060EcH-uRgZG5ODI13HRwFHY2j8bXGBTKDbnr3D_0LesBpDw |
| Cites_doi | 10.1145/3158668 10.1109/4235.996017 10.3389/fphy.2022.942245 10.2307/258792 10.1109/THMS.2022.3144956 10.1145/2379776.2379787 10.1145/3204459 10.1007/s10009-014-0361-y 10.3390/systems6040044 10.1093/biomet/26.4.404 10.1109/TSE.2008.35 10.1145/3524844.3528056 10.1109/ACCESS.2018.2870052 10.1145/3618001 10.1214/aoms/1177730491 10.1111/j.2517-6161.1974.tb00994.x 10.1145/3190507 10.1007/s11390-009-9216-5 10.1145/227595.227602 10.1109/MC.2003.1160055 10.1007/s43154-020-00029-y 10.1145/3522585 10.1016/j.artint.2018.07.007 10.2307/2529204 10.1371/journal.pone.0162034 10.1016/0304-3975(94)00202-T 10.1007/BF02590638 10.1145/3024188 10.1109/TEVC.2013.2281535 10.1177/0018720820960865 10.1016/j.inffus.2019.12.012 10.1016/j.robot.2023.104387 10.1145/1985793.1985795 10.1148/radiology.143.1.7063747 10.1177/0018720817743223 |
| ContentType | Journal Article |
| Copyright | 2025 Elsevier Inc. |
| Copyright_xml | – notice: 2025 Elsevier Inc. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jss.2025.112657 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jss_2025_112657 S0164121225003267 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9DU 9JN 9M8 AABNK AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AATTM AAXKI AAXUO AAYFN AAYWO ABBOA ABDPE ABEFU ABFNM ABFRF ABFSI ABJNI ABMAC ABWVN ABXDB ACDAQ ACGFO ACGFS ACGOD ACLOT ACNNM ACRLP ACRPL ACVFH ACZNC ADBBV ADCNI ADEZE ADHUB ADJOM ADMUD ADNMO AEBSH AEFWE AEIPS AEKER AENEX AEUPX AFJKZ AFPUW AFTJW AGHFR AGQPQ AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD APXCP ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 E.L EBS EFJIC EFKBS EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RNS ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TAE TN5 TWZ UHS UNMZH VH1 WUQ XPP ZMT ZY4 ~G- ~HD AAYXX CITATION |
| ID | FETCH-LOGICAL-c251t-916015e7f4026e15d60ac747b0738b61c4926950f560defc560ad9c63b81b633 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001600191400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0164-1212 |
| IngestDate | Thu Nov 27 00:37:30 EST 2025 Wed Dec 10 14:37:52 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Autonomous agents Trustworthiness Human–Machine Teaming Proactive self-adaptation Dependable autonomous systems |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c251t-916015e7f4026e15d60ac747b0738b61c4926950f560defc560ad9c63b81b633 |
| ORCID | 0000-0002-9209-3624 0000-0001-5137-940X 0000-0002-9193-9560 0000-0001-8724-1541 |
| ParticipantIDs | crossref_primary_10_1016_j_jss_2025_112657 elsevier_sciencedirect_doi_10_1016_j_jss_2025_112657 |
| PublicationCentury | 2000 |
| PublicationDate | February 2026 2026-02-00 |
| PublicationDateYYYYMMDD | 2026-02-01 |
| PublicationDate_xml | – month: 02 year: 2026 text: February 2026 |
| PublicationDecade | 2020 |
| PublicationTitle | The Journal of systems and software |
| PublicationYear | 2026 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Stone (b61) 1974; 36 Hanley, McNeil (b35) 1982; 143 Weyns, Bencomo, Calinescu, Cámara, Ghezzi, Grassi, Grunske, Inverardi, Jézéquel, Malek, Mirandola, Mori, Tamburrelli (b65) 2019 Arcuri, A., Briand, L., 2011a. A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Intl. Conf. on Software Engineering. pp. 1–10. Alur, Feder, Henzinger (b4) 1996; 43 Alur, Courcoubetis, Halbwachs, Henzinger, Ho, Nicollin, Olivero, Sifakis, Yovine (b3) 1995; 138 Cleland-Huang, Agrawal, Vierhauser, Murphy, Prieto (b21) 2022 Lestingi, Sbrolli, Scarmozzino, Romeo, Bersani, Rossi (b44) 2022 Chen, Bahsoon, Yao (b18) 2018; 51 Agha, Palmskog (b2) 2018; 28 McNeese, Demir, Cooke, Myers (b52) 2018; 60 Arcuri, Briand (b9) 2011 Anon (b7) 2020 Cleland-Huang, Chambers, Zudaire, Chowdhury, Agrawal, Vierhauser (b22) 2024; 19 Mayer (b50) 1995 Madni, Madni (b48) 2018; 6 Deb, Jain (b27) 2014; 18 Barredo Arrieta, Díaz-Rodríguez, Del Ser, Bennetot, Tabik, Barbado, Garcia, Gil-Lopez, Molina, Benjamins, Chatila, Herrera (b11) 2020; 58 Kordts, Kopetz, Schrader (b41) 2021 O’Neill, McNeese, Barron, Schelble (b57) 2022; 64 Grenander (b33) 1950; 1 Molnar (b55) 2022 Mann, Whitney (b49) 1947 Scott, Knott (b60) 1974; 30 Negri, Nicolosi, Camilli, Mirandola (b56) 2024 Kang, Dingwell (b37) 2016; 11 Weyns (b64) 2020 Vargha, Delaney (b62) 2000; 25 Camilli, Mirandola, Scandurra (b17) 2023 Angelov, Soares, Jiang, Arnold, Atkinson (b5) 2021; 11 Gebru, Zeleke, Blankson, Nabil, Nateghi, Homaifar, Tunstel (b31) 2022; 52 Bencomo, Welsh, Sawyer, Whittle (b12) 2012 Anon (b6) 2006 Griffor, Greer, Wollman, Burns (b34) 2017 Li, Cámara, Garlan, Schmerl, Jin (b47) 2021 Li, Cámara, Garlan, Schmerl (b46) 2020 Bersani, Camilli, Lestingi, Mirandola, Rossi, Scandurra (b13) 2023; vol. 14212 Mayer, Davis, Schoorman (b51) 1995; 20 Filieri, Maggio, Angelopoulos, D’ippolito, Gerostathopoulos, Hempel, Hoffmann, Jamshidi, Kalyvianaki, Klein (b30) 2017; 11 Harman, Mansouri, Zhang (b36) 2012; 45 Lestingi, Zerla, Bersani, Rossi (b45) 2023; 163 Cámara, Silva, Garlan, Schmerl (b15) 2021; 12857 Gillespie (b32) 2022; 10 Azevedo, Raizer, Souza (b10) 2017 Vargha, Delaney (b63) 2000; 25 Weyns, Iftikhar (b66) 2019; 32 David, Larsen, Legay, Mikučionis, Poulsen, Van Vliet, Wang (b25) 2011 Kephart, Chess (b38) 2003; 36 Khalid, Qureshi (b39) 2021; vol. 2857 Panichella, Kifetew, Tonella (b58) 2015 Mitchell (b54) 1997 Kok, Soh (b40) 2020; 1 Miller (b53) 2019; 267 David, Larsen, Legay, Mikučionis, Poulsen (b24) 2015; 17 Camilli, Mirandola, Scandurra (b16) 2022 Lessmann, Baesens, Mues, Pietsch (b43) 2008; 34 Sagar, Mahmood, Sheng, Pabani, Zhang (b59) 2022 Chen, Li, Bahsoon, Yao (b19) 2018; 27 Adadi, Berrada (b1) 2018; 6 Clopper, Pearson (b23) 1934; 26 Deb, Pratap, Agarwal, Meyarivan (b28) 2002; 6 Diallo, Nakagawa, Tsuchiya (b29) 2021 Kramer, Magee (b42) 2009; 24 Bersani, Camilli, Lestingi, Mirandola, Rossi, Scandurra (b14) 2023 de Lemos (b26) 2020 Christopher Brill, Cummings, Evans III, Hancock, Lyons, Oden (b20) 2018; vol. 62 Agha (10.1016/j.jss.2025.112657_b2) 2018; 28 Bersani (10.1016/j.jss.2025.112657_b14) 2023 Angelov (10.1016/j.jss.2025.112657_b5) 2021; 11 Azevedo (10.1016/j.jss.2025.112657_b10) 2017 Deb (10.1016/j.jss.2025.112657_b28) 2002; 6 Stone (10.1016/j.jss.2025.112657_b61) 1974; 36 Cleland-Huang (10.1016/j.jss.2025.112657_b22) 2024; 19 Arcuri (10.1016/j.jss.2025.112657_b9) 2011 de Lemos (10.1016/j.jss.2025.112657_b26) 2020 Panichella (10.1016/j.jss.2025.112657_b58) 2015 Miller (10.1016/j.jss.2025.112657_b53) 2019; 267 Kang (10.1016/j.jss.2025.112657_b37) 2016; 11 Sagar (10.1016/j.jss.2025.112657_b59) 2022 Kramer (10.1016/j.jss.2025.112657_b42) 2009; 24 O’Neill (10.1016/j.jss.2025.112657_b57) 2022; 64 Li (10.1016/j.jss.2025.112657_b46) 2020 Weyns (10.1016/j.jss.2025.112657_b65) 2019 Anon (10.1016/j.jss.2025.112657_b6) 2006 Diallo (10.1016/j.jss.2025.112657_b29) 2021 Camilli (10.1016/j.jss.2025.112657_b16) 2022 Madni (10.1016/j.jss.2025.112657_b48) 2018; 6 Lestingi (10.1016/j.jss.2025.112657_b45) 2023; 163 Kordts (10.1016/j.jss.2025.112657_b41) 2021 Lestingi (10.1016/j.jss.2025.112657_b44) 2022 Griffor (10.1016/j.jss.2025.112657_b34) 2017 Negri (10.1016/j.jss.2025.112657_b56) 2024 Vargha (10.1016/j.jss.2025.112657_b62) 2000; 25 Alur (10.1016/j.jss.2025.112657_b4) 1996; 43 McNeese (10.1016/j.jss.2025.112657_b52) 2018; 60 David (10.1016/j.jss.2025.112657_b25) 2011 Filieri (10.1016/j.jss.2025.112657_b30) 2017; 11 Li (10.1016/j.jss.2025.112657_b47) 2021 Christopher Brill (10.1016/j.jss.2025.112657_b20) 2018; vol. 62 Harman (10.1016/j.jss.2025.112657_b36) 2012; 45 Khalid (10.1016/j.jss.2025.112657_b39) 2021; vol. 2857 Cleland-Huang (10.1016/j.jss.2025.112657_b21) 2022 Deb (10.1016/j.jss.2025.112657_b27) 2014; 18 Gillespie (10.1016/j.jss.2025.112657_b32) 2022; 10 Weyns (10.1016/j.jss.2025.112657_b64) 2020 Gebru (10.1016/j.jss.2025.112657_b31) 2022; 52 10.1016/j.jss.2025.112657_b8 Barredo Arrieta (10.1016/j.jss.2025.112657_b11) 2020; 58 Chen (10.1016/j.jss.2025.112657_b19) 2018; 27 Mayer (10.1016/j.jss.2025.112657_b51) 1995; 20 Chen (10.1016/j.jss.2025.112657_b18) 2018; 51 David (10.1016/j.jss.2025.112657_b24) 2015; 17 Kok (10.1016/j.jss.2025.112657_b40) 2020; 1 Clopper (10.1016/j.jss.2025.112657_b23) 1934; 26 Molnar (10.1016/j.jss.2025.112657_b55) 2022 Hanley (10.1016/j.jss.2025.112657_b35) 1982; 143 Camilli (10.1016/j.jss.2025.112657_b17) 2023 Grenander (10.1016/j.jss.2025.112657_b33) 1950; 1 Lessmann (10.1016/j.jss.2025.112657_b43) 2008; 34 Vargha (10.1016/j.jss.2025.112657_b63) 2000; 25 Kephart (10.1016/j.jss.2025.112657_b38) 2003; 36 Bersani (10.1016/j.jss.2025.112657_b13) 2023; vol. 14212 Cámara (10.1016/j.jss.2025.112657_b15) 2021; 12857 Scott (10.1016/j.jss.2025.112657_b60) 1974; 30 Bencomo (10.1016/j.jss.2025.112657_b12) 2012 Mann (10.1016/j.jss.2025.112657_b49) 1947 Weyns (10.1016/j.jss.2025.112657_b66) 2019; 32 Mayer (10.1016/j.jss.2025.112657_b50) 1995 Anon (10.1016/j.jss.2025.112657_b7) 2020 Mitchell (10.1016/j.jss.2025.112657_b54) 1997 Alur (10.1016/j.jss.2025.112657_b3) 1995; 138 Adadi (10.1016/j.jss.2025.112657_b1) 2018; 6 |
| References_xml | – volume: 6 year: 2018 ident: b48 article-title: Architectural framework for exploring adaptive human-machine teaming options in simulated dynamic environments publication-title: Systems – volume: 6 start-page: 182 year: 2002 end-page: 197 ident: b28 article-title: A fast and elitist multiobjective genetic algorithm: NSGA-II publication-title: IEEE Trans. Evol. Comput. – volume: 1 start-page: 195 year: 1950 end-page: 277 ident: b33 article-title: Stochastic processes and statistical inference publication-title: Ark. För Mat. – volume: 11 start-page: 1 year: 2017 end-page: 31 ident: b30 article-title: Control strategies for self-adaptive software systems publication-title: ACM Trans. Auton. Adapt. Syst. (TAAS) – reference: Arcuri, A., Briand, L., 2011a. A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Intl. Conf. on Software Engineering. pp. 1–10. – volume: 20 start-page: 709 year: 1995 end-page: 734 ident: b51 article-title: An integrative model of organizational trust publication-title: Acad. Manag. Rev. – start-page: 1 year: 2017 end-page: 3 ident: b10 article-title: A vision for human-machine mutual understanding, trust establishment, and collaboration publication-title: 2017 IEEE CogSIMA – year: 1995 ident: b50 article-title: An integrative model of organizational trust publication-title: Acad. Manag. Rev. – volume: vol. 14212 start-page: 153 year: 2023 end-page: 169 ident: b13 article-title: Architecting explainable service robots publication-title: European Conference on Software Architecture – volume: 36 start-page: 41 year: 2003 end-page: 50 ident: b38 article-title: The vision of autonomic computing publication-title: Computer – start-page: 189 year: 2024 end-page: 199 ident: b56 article-title: Explanation-driven self-adaptation using model-agnostic interpretable machine learning publication-title: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems – volume: vol. 2857 year: 2021 ident: b39 article-title: Towards self-explainable adaptive systems (SEAS): a requirements driven approach publication-title: Joint Proceedings of REFSQ – year: 2006 ident: b6 article-title: International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS series) – volume: 25 start-page: 101 year: 2000 end-page: 132 ident: b62 article-title: A critique and improvement of the CL common language effect size statistics of McGraw and wong publication-title: J. Educ. Behav. Stat. – year: 2023 ident: b17 article-title: XSA: Explainable self-adaptation publication-title: Intl. Conf. on Automated Software Engineering – volume: 19 start-page: 3:1 year: 2024 end-page: 3:35 ident: b22 article-title: Human-machine teaming with small unmanned aerial systems in a MAPE-K environment publication-title: ACM Trans. Auton. Adapt. Syst. – start-page: 165 year: 2020 end-page: 166 ident: b26 article-title: Human in the loop: What is the point of no return? publication-title: SEAMS – year: 1997 ident: b54 article-title: Machine Learning – volume: vol. 62 start-page: 455 year: 2018 end-page: 459 ident: b20 article-title: Navigating the advent of human-machine teaming publication-title: Proceedings of the Human Factors and Ergonomics Society Annual Meeting – volume: 17 start-page: 397 year: 2015 end-page: 415 ident: b24 article-title: Uppaal SMC tutorial publication-title: STTT – volume: 58 start-page: 82 year: 2020 end-page: 115 ident: b11 article-title: Explainable artificial intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI publication-title: Inf. Fusion – volume: 52 start-page: 952 year: 2022 end-page: 962 ident: b31 article-title: A review on human–machine trust evaluation: Human-centric and machine-centric perspectives publication-title: IEEE Trans. Human-Machine Syst. – volume: 143 start-page: 29 year: 1982 end-page: 36 ident: b35 article-title: The meaning and use of the area under a receiver operating characteristic (ROC) curve publication-title: Radiology – start-page: 157 year: 2012 end-page: 166 ident: b12 article-title: Self-explanation in adaptive systems publication-title: IEEE Intl. Conf. on Engineering of Complex Computer Systems – volume: 267 start-page: 1 year: 2019 end-page: 38 ident: b53 article-title: Explanation in artificial intelligence: Insights from the social sciences publication-title: Artificial Intelligence – start-page: 1 year: 2011 end-page: 10 ident: b9 article-title: A practical guide for using statistical tests to assess randomized algorithms in software engineering publication-title: Proceedings of the 33rd International Conference on Software Engineering – volume: 60 start-page: 262 year: 2018 end-page: 273 ident: b52 article-title: Teaming with a synthetic teammate: Insights into human-autonomy teaming publication-title: Hum. Factors – year: 2022 ident: b59 article-title: Understanding the trustworthiness management in the social internet of things: A survey – year: 2017 ident: b34 article-title: Framework for cyber-physical systems: Volume 1, overview – volume: 24 start-page: 183 year: 2009 end-page: 188 ident: b42 article-title: A rigorous architectural approach to adaptive software engineering publication-title: J. Comput. Sci. Tech. – volume: 28 start-page: 1 year: 2018 end-page: 39 ident: b2 article-title: A survey of statistical model checking publication-title: TOMACS – volume: 11 year: 2016 ident: b37 article-title: Differential changes with age in multiscale entropy of electromyography signals from leg muscles during treadmill walking publication-title: PLoS One – volume: 25 start-page: 101 year: 2000 end-page: 132 ident: b63 article-title: A critique and improvement of the ”cl” common language effect size statistics of McGraw and wong publication-title: J. Educ. Behav. Stat. – volume: 12857 start-page: 49 year: 2021 end-page: 65 ident: b15 article-title: Explaining architectural design tradeoff spaces: A machine learning approach publication-title: ECSA – start-page: 1653 year: 2021 end-page: 1660 ident: b29 article-title: Adaptation Space Reduction Using an Explainable Framework publication-title: IEEE 45th Annual Computers, Software, and Applications Conference – year: 2019 ident: b65 article-title: Perpetual assurances for self-adaptive systems publication-title: Software Engineering for Self-Adaptive Systems – volume: 27 year: 2018 ident: b19 article-title: FEMOSAA: Feature-guided and knee-driven multi-objective optimization for self-adaptive software publication-title: ACM Trans. Softw. Eng. Methodol. – start-page: 120 year: 2022 end-page: 131 ident: b21 article-title: Extending MAPE-k to support human-machine teaming publication-title: SEAMS – volume: 10 year: 2022 ident: b32 article-title: Building trust and responsibility into autonomous human-machine teams publication-title: Front. Phys. – year: 2020 ident: b64 article-title: An Introduction to Self-adaptive Systems: A Contemporary Software Engineering Perspective – start-page: 50 year: 1947 end-page: 60 ident: b49 article-title: On a test of whether one of two random variables is stochastically larger than the other publication-title: Ann. Math. Stat. – start-page: 80 year: 2022 end-page: 90 ident: b44 article-title: Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings – volume: 64 start-page: 904 year: 2022 end-page: 938 ident: b57 article-title: Human–autonomy teaming: A review and analysis of the empirical literature publication-title: Hum. Factors – year: 2020 ident: b7 article-title: International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS series) – volume: 45 year: 2012 ident: b36 article-title: Search-based software engineering: Trends, techniques and applications publication-title: ACM Comput. Surv. – year: 2022 ident: b55 article-title: Interpretable machine learning, second ed. – year: 2022 ident: b16 article-title: Taming model uncertainty in self-adaptive systems using Bayesian model averaging – volume: 51 year: 2018 ident: b18 article-title: A survey and taxonomy of self-aware and self-adaptive cloud autoscaling systems publication-title: ACM Comput. Surv. – volume: 6 start-page: 52138 year: 2018 end-page: 52160 ident: b1 article-title: Peeking inside the black-box: A survey on explainable artificial intelligence (XAI) publication-title: IEEE Access – volume: 32 start-page: 1 year: 2019 end-page: 48 ident: b66 article-title: ActivFORMS: A formally founded model-based approach to engineer self-adaptive systems publication-title: ACM Trans. Softw. Eng. Methodol. – volume: 43 start-page: 116 year: 1996 end-page: 146 ident: b4 article-title: The benefits of relaxing punctuality publication-title: J. ACM – start-page: 195 year: 2020 end-page: 204 ident: b46 article-title: Reasoning about when to provide explanation for human-involved self-adaptive systems publication-title: IEEE ACSOS 2020 – volume: 163 year: 2023 ident: b45 article-title: Specification, stochastic modeling and analysis of interactive service robotic applications publication-title: Robot. Auton. Syst. – volume: 138 start-page: 3 year: 1995 end-page: 34 ident: b3 article-title: The algorithmic analysis of hybrid systems publication-title: TCS – volume: 26 start-page: 404 year: 1934 end-page: 413 ident: b23 article-title: The use of confidence or fiducial limits illustrated in the case of the binomial publication-title: Biometrika – volume: 36 start-page: 111 year: 1974 end-page: 133 ident: b61 article-title: Cross-validatory choice and assessment of statistical predictions publication-title: J. R. Stat. Soc. Ser. B (Methodological) – volume: 18 start-page: 577 year: 2014 end-page: 601 ident: b27 article-title: An evolutionary many-objective optimization algorithm using reference-point-based nondominated sorting approach, part I: Solving problems with box constraints publication-title: IEEE Trans. Evol. Comput. – volume: 1 start-page: 297 year: 2020 end-page: 309 ident: b40 article-title: Trust in robots: Challenges and opportunities publication-title: Curr. Robot. Rep. – start-page: 1 year: 2015 end-page: 10 ident: b58 article-title: Reformulating branch coverage as a many-objective optimization problem publication-title: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation – volume: 11 year: 2021 ident: b5 article-title: Explainable artificial intelligence: an analytical review publication-title: WIREs Data Min. Knowl. Discov. – volume: 34 start-page: 485 year: 2008 end-page: 496 ident: b43 article-title: Benchmarking classification models for software defect prediction: A proposed framework and novel findings publication-title: IEEE Trans. Softw. Eng. – start-page: 138 year: 2021 end-page: 144 ident: b41 article-title: A framework for self-explaining systems in the context of intensive care publication-title: ACSOS – start-page: 309 year: 2023 end-page: 315 ident: b14 article-title: A conceptual framework for explainability requirements in software-intensive systems publication-title: 2023 IEEE 31st International Requirements Engineering Conference Workshops – start-page: 80 year: 2011 end-page: 96 ident: b25 article-title: Statistical model checking for networks of priced timed automata publication-title: FORMATS – start-page: 48 year: 2021 end-page: 58 ident: b47 article-title: Hey! preparing humans to do tasks in self-adaptive systems publication-title: SEAMS – volume: 30 start-page: 507 year: 1974 end-page: 512 ident: b60 article-title: A cluster analysis method for grouping means in the analysis of variance publication-title: Biometrics – volume: 28 start-page: 1 issue: 1 year: 2018 ident: 10.1016/j.jss.2025.112657_b2 article-title: A survey of statistical model checking publication-title: TOMACS doi: 10.1145/3158668 – volume: 11 issue: 5 year: 2021 ident: 10.1016/j.jss.2025.112657_b5 article-title: Explainable artificial intelligence: an analytical review publication-title: WIREs Data Min. Knowl. Discov. – year: 2020 ident: 10.1016/j.jss.2025.112657_b64 – volume: 6 start-page: 182 issue: 2 year: 2002 ident: 10.1016/j.jss.2025.112657_b28 article-title: A fast and elitist multiobjective genetic algorithm: NSGA-II publication-title: IEEE Trans. Evol. Comput. doi: 10.1109/4235.996017 – volume: 10 year: 2022 ident: 10.1016/j.jss.2025.112657_b32 article-title: Building trust and responsibility into autonomous human-machine teams publication-title: Front. Phys. doi: 10.3389/fphy.2022.942245 – volume: 20 start-page: 709 issue: 3 year: 1995 ident: 10.1016/j.jss.2025.112657_b51 article-title: An integrative model of organizational trust publication-title: Acad. Manag. Rev. doi: 10.2307/258792 – start-page: 195 year: 2020 ident: 10.1016/j.jss.2025.112657_b46 article-title: Reasoning about when to provide explanation for human-involved self-adaptive systems – start-page: 48 year: 2021 ident: 10.1016/j.jss.2025.112657_b47 article-title: Hey! preparing humans to do tasks in self-adaptive systems – volume: 52 start-page: 952 issue: 5 year: 2022 ident: 10.1016/j.jss.2025.112657_b31 article-title: A review on human–machine trust evaluation: Human-centric and machine-centric perspectives publication-title: IEEE Trans. Human-Machine Syst. doi: 10.1109/THMS.2022.3144956 – year: 2020 ident: 10.1016/j.jss.2025.112657_b7 – start-page: 1 year: 2015 ident: 10.1016/j.jss.2025.112657_b58 article-title: Reformulating branch coverage as a many-objective optimization problem – volume: 45 issue: 1 year: 2012 ident: 10.1016/j.jss.2025.112657_b36 article-title: Search-based software engineering: Trends, techniques and applications publication-title: ACM Comput. Surv. doi: 10.1145/2379776.2379787 – year: 2006 ident: 10.1016/j.jss.2025.112657_b6 – start-page: 189 year: 2024 ident: 10.1016/j.jss.2025.112657_b56 article-title: Explanation-driven self-adaptation using model-agnostic interpretable machine learning – volume: 27 issue: 2 year: 2018 ident: 10.1016/j.jss.2025.112657_b19 article-title: FEMOSAA: Feature-guided and knee-driven multi-objective optimization for self-adaptive software publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/3204459 – volume: 17 start-page: 397 issue: 4 year: 2015 ident: 10.1016/j.jss.2025.112657_b24 article-title: Uppaal SMC tutorial publication-title: STTT doi: 10.1007/s10009-014-0361-y – start-page: 80 year: 2022 ident: 10.1016/j.jss.2025.112657_b44 – start-page: 309 year: 2023 ident: 10.1016/j.jss.2025.112657_b14 article-title: A conceptual framework for explainability requirements in software-intensive systems – volume: 6 issue: 4 year: 2018 ident: 10.1016/j.jss.2025.112657_b48 article-title: Architectural framework for exploring adaptive human-machine teaming options in simulated dynamic environments publication-title: Systems doi: 10.3390/systems6040044 – volume: vol. 14212 start-page: 153 year: 2023 ident: 10.1016/j.jss.2025.112657_b13 article-title: Architecting explainable service robots – volume: 26 start-page: 404 issue: 4 year: 1934 ident: 10.1016/j.jss.2025.112657_b23 article-title: The use of confidence or fiducial limits illustrated in the case of the binomial publication-title: Biometrika doi: 10.1093/biomet/26.4.404 – volume: 34 start-page: 485 issue: 4 year: 2008 ident: 10.1016/j.jss.2025.112657_b43 article-title: Benchmarking classification models for software defect prediction: A proposed framework and novel findings publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2008.35 – start-page: 1 year: 2011 ident: 10.1016/j.jss.2025.112657_b9 article-title: A practical guide for using statistical tests to assess randomized algorithms in software engineering – year: 2022 ident: 10.1016/j.jss.2025.112657_b16 article-title: Taming model uncertainty in self-adaptive systems using Bayesian model averaging doi: 10.1145/3524844.3528056 – volume: 6 start-page: 52138 year: 2018 ident: 10.1016/j.jss.2025.112657_b1 article-title: Peeking inside the black-box: A survey on explainable artificial intelligence (XAI) publication-title: IEEE Access doi: 10.1109/ACCESS.2018.2870052 – start-page: 165 year: 2020 ident: 10.1016/j.jss.2025.112657_b26 article-title: Human in the loop: What is the point of no return? – volume: vol. 62 start-page: 455 year: 2018 ident: 10.1016/j.jss.2025.112657_b20 article-title: Navigating the advent of human-machine teaming – volume: 19 start-page: 3:1 issue: 1 year: 2024 ident: 10.1016/j.jss.2025.112657_b22 article-title: Human-machine teaming with small unmanned aerial systems in a MAPE-K environment publication-title: ACM Trans. Auton. Adapt. Syst. doi: 10.1145/3618001 – start-page: 50 year: 1947 ident: 10.1016/j.jss.2025.112657_b49 article-title: On a test of whether one of two random variables is stochastically larger than the other publication-title: Ann. Math. Stat. doi: 10.1214/aoms/1177730491 – volume: 36 start-page: 111 issue: 2 year: 1974 ident: 10.1016/j.jss.2025.112657_b61 article-title: Cross-validatory choice and assessment of statistical predictions publication-title: J. R. Stat. Soc. Ser. B (Methodological) doi: 10.1111/j.2517-6161.1974.tb00994.x – volume: 51 issue: 3 year: 2018 ident: 10.1016/j.jss.2025.112657_b18 article-title: A survey and taxonomy of self-aware and self-adaptive cloud autoscaling systems publication-title: ACM Comput. Surv. doi: 10.1145/3190507 – volume: 12857 start-page: 49 year: 2021 ident: 10.1016/j.jss.2025.112657_b15 article-title: Explaining architectural design tradeoff spaces: A machine learning approach – volume: 24 start-page: 183 year: 2009 ident: 10.1016/j.jss.2025.112657_b42 article-title: A rigorous architectural approach to adaptive software engineering publication-title: J. Comput. Sci. Tech. doi: 10.1007/s11390-009-9216-5 – volume: 43 start-page: 116 issue: 1 year: 1996 ident: 10.1016/j.jss.2025.112657_b4 article-title: The benefits of relaxing punctuality publication-title: J. ACM doi: 10.1145/227595.227602 – volume: 36 start-page: 41 issue: 1 year: 2003 ident: 10.1016/j.jss.2025.112657_b38 article-title: The vision of autonomic computing publication-title: Computer doi: 10.1109/MC.2003.1160055 – volume: 25 start-page: 101 issue: 2 year: 2000 ident: 10.1016/j.jss.2025.112657_b62 article-title: A critique and improvement of the CL common language effect size statistics of McGraw and wong publication-title: J. Educ. Behav. Stat. – volume: 1 start-page: 297 issue: 4 year: 2020 ident: 10.1016/j.jss.2025.112657_b40 article-title: Trust in robots: Challenges and opportunities publication-title: Curr. Robot. Rep. doi: 10.1007/s43154-020-00029-y – year: 1997 ident: 10.1016/j.jss.2025.112657_b54 – volume: 32 start-page: 1 year: 2019 ident: 10.1016/j.jss.2025.112657_b66 article-title: ActivFORMS: A formally founded model-based approach to engineer self-adaptive systems publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/3522585 – start-page: 157 year: 2012 ident: 10.1016/j.jss.2025.112657_b12 article-title: Self-explanation in adaptive systems – volume: 267 start-page: 1 year: 2019 ident: 10.1016/j.jss.2025.112657_b53 article-title: Explanation in artificial intelligence: Insights from the social sciences publication-title: Artificial Intelligence doi: 10.1016/j.artint.2018.07.007 – volume: 30 start-page: 507 issue: 3 year: 1974 ident: 10.1016/j.jss.2025.112657_b60 article-title: A cluster analysis method for grouping means in the analysis of variance publication-title: Biometrics doi: 10.2307/2529204 – year: 1995 ident: 10.1016/j.jss.2025.112657_b50 article-title: An integrative model of organizational trust publication-title: Acad. Manag. Rev. doi: 10.2307/258792 – volume: 25 start-page: 101 issue: 2 year: 2000 ident: 10.1016/j.jss.2025.112657_b63 article-title: A critique and improvement of the ”cl” common language effect size statistics of McGraw and wong publication-title: J. Educ. Behav. Stat. – volume: 11 issue: 8 year: 2016 ident: 10.1016/j.jss.2025.112657_b37 article-title: Differential changes with age in multiscale entropy of electromyography signals from leg muscles during treadmill walking publication-title: PLoS One doi: 10.1371/journal.pone.0162034 – volume: 138 start-page: 3 issue: 1 year: 1995 ident: 10.1016/j.jss.2025.112657_b3 article-title: The algorithmic analysis of hybrid systems publication-title: TCS doi: 10.1016/0304-3975(94)00202-T – start-page: 120 year: 2022 ident: 10.1016/j.jss.2025.112657_b21 article-title: Extending MAPE-k to support human-machine teaming – volume: 1 start-page: 195 issue: 3 year: 1950 ident: 10.1016/j.jss.2025.112657_b33 article-title: Stochastic processes and statistical inference publication-title: Ark. För Mat. doi: 10.1007/BF02590638 – volume: 11 start-page: 1 issue: 4 year: 2017 ident: 10.1016/j.jss.2025.112657_b30 article-title: Control strategies for self-adaptive software systems publication-title: ACM Trans. Auton. Adapt. Syst. (TAAS) doi: 10.1145/3024188 – year: 2022 ident: 10.1016/j.jss.2025.112657_b59 – year: 2023 ident: 10.1016/j.jss.2025.112657_b17 article-title: XSA: Explainable self-adaptation – year: 2019 ident: 10.1016/j.jss.2025.112657_b65 article-title: Perpetual assurances for self-adaptive systems – start-page: 80 year: 2011 ident: 10.1016/j.jss.2025.112657_b25 article-title: Statistical model checking for networks of priced timed automata – start-page: 138 year: 2021 ident: 10.1016/j.jss.2025.112657_b41 article-title: A framework for self-explaining systems in the context of intensive care – volume: 18 start-page: 577 issue: 4 year: 2014 ident: 10.1016/j.jss.2025.112657_b27 article-title: An evolutionary many-objective optimization algorithm using reference-point-based nondominated sorting approach, part I: Solving problems with box constraints publication-title: IEEE Trans. Evol. Comput. doi: 10.1109/TEVC.2013.2281535 – volume: vol. 2857 year: 2021 ident: 10.1016/j.jss.2025.112657_b39 article-title: Towards self-explainable adaptive systems (SEAS): a requirements driven approach – volume: 64 start-page: 904 issue: 5 year: 2022 ident: 10.1016/j.jss.2025.112657_b57 article-title: Human–autonomy teaming: A review and analysis of the empirical literature publication-title: Hum. Factors doi: 10.1177/0018720820960865 – year: 2022 ident: 10.1016/j.jss.2025.112657_b55 – start-page: 1653 year: 2021 ident: 10.1016/j.jss.2025.112657_b29 article-title: Adaptation Space Reduction Using an Explainable Framework – volume: 58 start-page: 82 year: 2020 ident: 10.1016/j.jss.2025.112657_b11 article-title: Explainable artificial intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI publication-title: Inf. Fusion doi: 10.1016/j.inffus.2019.12.012 – volume: 163 year: 2023 ident: 10.1016/j.jss.2025.112657_b45 article-title: Specification, stochastic modeling and analysis of interactive service robotic applications publication-title: Robot. Auton. Syst. doi: 10.1016/j.robot.2023.104387 – year: 2017 ident: 10.1016/j.jss.2025.112657_b34 – start-page: 1 year: 2017 ident: 10.1016/j.jss.2025.112657_b10 article-title: A vision for human-machine mutual understanding, trust establishment, and collaboration – ident: 10.1016/j.jss.2025.112657_b8 doi: 10.1145/1985793.1985795 – volume: 143 start-page: 29 issue: 1 year: 1982 ident: 10.1016/j.jss.2025.112657_b35 article-title: The meaning and use of the area under a receiver operating characteristic (ROC) curve publication-title: Radiology doi: 10.1148/radiology.143.1.7063747 – volume: 60 start-page: 262 issue: 2 year: 2018 ident: 10.1016/j.jss.2025.112657_b52 article-title: Teaming with a synthetic teammate: Insights into human-autonomy teaming publication-title: Hum. Factors doi: 10.1177/0018720817743223 |
| SSID | ssj0007202 |
| Score | 2.4534116 |
| Snippet | With the pervasiveness of software-intensive systems, autonomous agents are increasingly involved in missions entailing close cooperation with humans in... |
| SourceID | crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 112657 |
| SubjectTerms | Autonomous agents Dependable autonomous systems Human–Machine Teaming Proactive self-adaptation Trustworthiness |
| Title | Proactive self-adaptation and assurance of explainable Human–Machine Teaming |
| URI | https://dx.doi.org/10.1016/j.jss.2025.112657 |
| Volume | 232 |
| WOSCitedRecordID | wos001600191400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 issn: 0164-1212 databaseCode: AIEXJ dateStart: 19950101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0007202 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3LbtNAFB1ByoINlAKi0KJZsCpyFT8nXlYoVYtoVIkssrPG4zFKlDpRbEqW_EP_sF_CmZfjpkUCJDZO5MiOde_xnXPv3AchH2JweKZazsbcT71ISualzC89X0RBjuVEDTHSwybYaDSYTNJLmzpU63ECrKoG63W6_K-qxjkoW5XO_oW625viBL5D6ThC7Tj-keIvVY2UTgiq5bz0eMGXNqNQ92WFnFe6TAAsUa6Xc1c9paP5LvUhvNA5llI1fL5yi9tsA6wOjTWtoE2n5xo2_QffpNN-US08qm-mAHt6Pd04_yCdZpiUKhZSmweLjxfHnf0QFQUyvzaNXLSomOLRCzjjGhi8LLmc827cImhTnV0wzRXU3Mn3VA2_PD_w7xjowERA7xl7E3eYHc9q1Xc9iHU5lGl3vdVD-6u6r7otCF8fhJU9JjsBi1NY8p2T8-Hkc7t4s0CnqbbP4TbCdUrg1h89TGU69GS8S55ZhdATg4cX5JGs9shzN7ODWhP-koxaeNAteFCIlrbwoIuSduBBNTxuf95YYFALjFdkfDocfzrz7EwNT4DJNljb4IHHkpURVCL9uEj6XMClzGHqB3mCVzQNkjTul2DChSwFPniRiiTM4d8kYfia9KpFJd8QGoVhISJf5CwvItFnnOEdh4Psx7lM4FXskyMnnWxpOqdkLqVwlkGUmRJlZkS5TyInv8xSP0PpMij795e9_bfL3pGnG0QekF6z-i4PyRNx3Uzr1XsLiV9dP31- |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Proactive+self-adaptation+and+assurance+of+explainable+Human%E2%80%93Machine+Teaming&rft.jtitle=The+Journal+of+systems+and+software&rft.au=Lestingi%2C+Livia&rft.au=Bersani%2C+Marcello+M.&rft.au=Camilli%2C+Matteo&rft.au=Mirandola%2C+Raffaela&rft.date=2026-02-01&rft.pub=Elsevier+Inc&rft.issn=0164-1212&rft.volume=232&rft_id=info:doi/10.1016%2Fj.jss.2025.112657&rft.externalDocID=S0164121225003267 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0164-1212&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0164-1212&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0164-1212&client=summon |