{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/129446"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/129446","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Local and diverse explanations for autonomous systems","abstract":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms","abstract_html":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms","abstract_has_math":false,"creators":["Brindise, Noel Christine"],"institution":"University of Illinois Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Aerospace Engineering","degree_department":null,"school":null,"contributors":["Langbort, Cedric","Driggs-Campbell, Katherine","Gremillion, Gregory","Mitra, Sayan","Ornik, Melkior"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2025,"date_issued":"2025-04-28","date_published":"2025-04-28","updated_at":"2026-07-22T22:25:05Z","subjects":["Explainable Autonomy","Explainable AI","Reinforcement Learning","Linear Temporal Logic","Markov Decision Process"],"languages":["en","eng"],"rights":["Copyright 2025 Noel Christine Brindise"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2142/129446","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Langbort, Cedric","Driggs-Campbell, Katherine","Gremillion, Gregory","Mitra, Sayan","Ornik, Melkior"]},{"key":"dc:creator","label":"Author","values":["Brindise, Noel Christine"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2025-04-28","2025-05"]},{"key":"dc:type","label":"Dc Type","values":["text","Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Aerospace Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Explainable Autonomy","Explainable AI","Reinforcement Learning","Linear Temporal Logic","Markov Decision Process"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en","eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2025 Noel Christine Brindise"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://hdl.handle.net/2142/129446"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms","The student, Noel Brindise, accepted the attached license on 2025-04-24 at 16:38.","The student, Noel Brindise, submitted this Dissertation for approval on 2025-04-24 at 16:59.","This Dissertation was approved for publication on 2025-04-28 at 10:31.","DSpace SAF Submission Ingestion Package generated from Vireo submission #21963 on 2025-10-19 at 18:19:09","Recent advancements in artificial intelligence and autonomous systems have yielded impressive applications, from robots to self-driving cars to predictive modeling. However, these systems are often difficult for a human to understand and rarely offer explanations of their own behaviors, intentions, decisions, or predictions. This disconnect poses a problem for efficacy, efficiency, and ethics. Transparency and trustworthiness are key priorities for autonomy in sensitive settings such as healthcare or military domains. Moreover, poorly-understood systems are difficult to optimize; autonomous agent training is notoriously dependent on the designer's experience and ad hoc trial-and-error. Even a well-trained agent may be ignored during cooperative tasks if the human user is unsure of its intent or reasoning. In summary, the benefits of autonomy are limited by its opacity. In response, several fields have emerged which focus on explanation methods, though many perspectives remain unexplored. This thesis considers explainability specifically for autonomous planning, a topic at the intersection of Explainable AI (xAI), Explainable AI Planning (XAIP), and Explainable Reinforcement Learning (XRL). Particularly in autonomous planning, these fields have yet to establish systematic goals or standards, which has allowed the role and form of 'explanation' to vary widely. This thesis begins by introducing novel notions of 'pointwise-in-trajectory' and 'alternatives-based' explanation, two perspectives which are largely lacking from the eclectic landscape of current XRL and XAIP. The main contributions of this work are three explainability methods incorporating novel pointwise-in-trajectory and alternatives-based perspectives. The first proposal is Rule Status Assessment (RSA), an algorithm for post-hoc trajectory diagnostics. RSA analyzes system trajectories using an adapted concept of Linear Temporal Logic (LTL) specifications, describing any point in a trajectory in terms of an LTL-based 'status.' The second proposal is Diverse Near-Optimal Alternatives (DNA), which applies to value-based Reinforcement Learning settings. DNA provides explanations by seeking a set of policy 'options' which are cost-effective and generate distinct trajectories. The last proposal is Live LTL Progress Tracking (LPT), a second LTL-based framework which describes progress towards a goal 'live' as a trajectory is created. In all, these methods are shown to be promising at both the development and deployment stages for autonomous systems, taking Reinforcement Learning agents as a primary application. Several uses for these methods are demonstrated in simulated environments, with potential for wide-ranging applications."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Local and diverse explanations for autonomous systems"]}]}],"canonical_facts":{"dc:contributor":["Langbort, Cedric","Driggs-Campbell, Katherine","Gremillion, Gregory","Mitra, Sayan","Ornik, Melkior"],"dc:creator":["Brindise, Noel Christine"],"dc:date":["2025-04-28","2025-05"],"dc:description":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms","The student, Noel Brindise, accepted the attached license on 2025-04-24 at 16:38.","The student, Noel Brindise, submitted this Dissertation for approval on 2025-04-24 at 16:59.","This Dissertation was approved for publication on 2025-04-28 at 10:31.","DSpace SAF Submission Ingestion Package generated from Vireo submission #21963 on 2025-10-19 at 18:19:09","Recent advancements in artificial intelligence and autonomous systems have yielded impressive applications, from robots to self-driving cars to predictive modeling. However, these systems are often difficult for a human to understand and rarely offer explanations of their own behaviors, intentions, decisions, or predictions. This disconnect poses a problem for efficacy, efficiency, and ethics. Transparency and trustworthiness are key priorities for autonomy in sensitive settings such as healthcare or military domains. Moreover, poorly-understood systems are difficult to optimize; autonomous agent training is notoriously dependent on the designer's experience and ad hoc trial-and-error. Even a well-trained agent may be ignored during cooperative tasks if the human user is unsure of its intent or reasoning. In summary, the benefits of autonomy are limited by its opacity. In response, several fields have emerged which focus on explanation methods, though many perspectives remain unexplored. This thesis considers explainability specifically for autonomous planning, a topic at the intersection of Explainable AI (xAI), Explainable AI Planning (XAIP), and Explainable Reinforcement Learning (XRL). Particularly in autonomous planning, these fields have yet to establish systematic goals or standards, which has allowed the role and form of 'explanation' to vary widely. This thesis begins by introducing novel notions of 'pointwise-in-trajectory' and 'alternatives-based' explanation, two perspectives which are largely lacking from the eclectic landscape of current XRL and XAIP. The main contributions of this work are three explainability methods incorporating novel pointwise-in-trajectory and alternatives-based perspectives. The first proposal is Rule Status Assessment (RSA), an algorithm for post-hoc trajectory diagnostics. RSA analyzes system trajectories using an adapted concept of Linear Temporal Logic (LTL) specifications, describing any point in a trajectory in terms of an LTL-based 'status.' The second proposal is Diverse Near-Optimal Alternatives (DNA), which applies to value-based Reinforcement Learning settings. DNA provides explanations by seeking a set of policy 'options' which are cost-effective and generate distinct trajectories. The last proposal is Live LTL Progress Tracking (LPT), a second LTL-based framework which describes progress towards a goal 'live' as a trajectory is created. In all, these methods are shown to be promising at both the development and deployment stages for autonomous systems, taking Reinforcement Learning agents as a primary application. Several uses for these methods are demonstrated in simulated environments, with potential for wide-ranging applications."],"dc:format":["application/pdf"],"dc:identifier":["https://hdl.handle.net/2142/129446"],"dc:language":["en","eng"],"dc:rights":["Copyright 2025 Noel Christine Brindise"],"dc:subject":["Explainable Autonomy","Explainable AI","Reinforcement Learning","Linear Temporal Logic","Markov Decision Process"],"dc:title":["Local and diverse explanations for autonomous systems"],"dc:type":["text","Thesis"],"thesis:degree_discipline":["Aerospace Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:05Z"}