Tim Miller

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 90

Top Venues

Publications

Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg
Towards the new XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. CoRR (2024)
Michelle L. Blom, Ronal Singh, Tim Miller, Liz Sonenberg, Kerry Trentelman, Adam Saulwick
Explainable agency: human preferences for simple or complex explanations. CoRR (2024)
Ronal Singh, Tim Miller, Liz Sonenberg, Eduardo Velloso, Frank Vetere, Piers Howe, Paul Dourish
An Actionability Assessment Tool for Explainable AI. CoRR (2024)
Thao Le, Tim Miller, Ruihan Zhang, Liz Sonenberg, Ronal Singh
Visual Evaluative AI: A Hypothesis-Driven Tool with Concept-Based Explanations and Weight of Evidence. CoRR (2024)
Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg
Explaining Model Confidence Using Counterfactuals. AAAI (2023)
Robert R. Hoffman, Tim Miller, Gary Klein, Shane T. Mueller, William J. Clancey
Increasing the Value of XAI for Users: A Psychological Perspective. Künstliche Intell. 37 (2) (2023)
Lyndon Benke, Tim Miller, Michael Papasimeon, Nir Lipovetzky
Diverse, Top-k, and Top-Quality Planning Over Simulators. CoRR (2023)
Tim Miller
Explainable AI is Dead, Long Live Explainable AI!: Hypothesis-driven Decision Support using Evaluative AI. FAccT (2023)
Steven Spratley, Krista A. Ehinger, Tim Miller
Unicode Analogies: An Anti-Objectivist Visual Reasoning Challenge. CVPR (2023)
Tim Miller
Explainable AI is Dead, Long Live Explainable AI! Hypothesis-driven decision support. CoRR (2023)
Abeer Alshehri, Tim Miller, Mor Vered
Explainable Goal Recognition: A Framework Based on Weight of Evidence. CoRR (2023)
Ronal Singh, Tim Miller, Henrietta Lyons, Liz Sonenberg, Eduardo Velloso, Frank Vetere, Piers Howe, Paul Dourish
Directive Explanations for Actionable Explainability in Machine Learning Applications. ACM Trans. Interact. Intell. Syst. 13 (4) (2023)
Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg
Explaining Model Confidence Using Counterfactuals. CoRR (2023)
Guang Hu, Tim Miller, Nir Lipovetzky
Planning with Multi-Agent Belief Using Justified Perspectives. ICAPS (2023)
Lyndon Benke, Tim Miller, Michael Papasimeon, Nir Lipovetzky
Diverse, Top-k, and Top-Quality Planning Over Simulators. ECAI (2023)
Henrietta Lyons, Tim Miller, Eduardo Velloso
Algorithmic Decisions, Desire for Control, and the Preference for Human Review over Algorithmic Review. FAccT (2023)
Mor Vered, Tali Livni, Piers Douglas Lionel Howe, Tim Miller, Liz Sonenberg
The effects of explanations on automation bias. Artif. Intell. 322 (2023)
Abeer Alshehri, Tim Miller, Mor Vered
Explainable Goal Recognition: A Framework Based on Weight of Evidence. ICAPS (2023)
Tim Miller, Robert R. Hoffman, Ofra Amir, Andreas Holzinger
Special issue on Explainable Artificial Intelligence (XAI). Artif. Intell. 307 (2022)
Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg
Improving Model Understanding and Trust with Counterfactual Explanations of Model Confidence. CoRR (2022)
Henrietta Lyons, Senuri Wijenayake, Tim Miller, Eduardo Velloso
What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions. CHI (2022)
Rachel Burrows, Antonette Mendoza, Sonja Pedell, Leon Sterling, Tim Miller, Antonio A. Lopez-Lorca
Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness. Health Informatics J. 28 (4) (2022)
Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artif. Intell. 302 (2022)
Guang Hu, Tim Miller, Nir Lipovetzky
Planning with Perspectives - Decomposing Epistemic Planning using Functional STRIPS. J. Artif. Intell. Res. 75 (2022)
Vilde B. Gjærum, Inga Strümke, Anastasios M. Lekkas, Tim Miller
Real-Time Counterfactual Explanations For Robotic Systems With Multiple Continuous Outputs. CoRR (2022)
Ruihan Zhang, Prashan Madumal, Tim Miller, Krista A. Ehinger, Benjamin I. P. Rubinstein
Invertible Concept-based Explanations for CNN Models with Non-negative Concept Activation Vectors. AAAI (2021)
Henrietta Lyons, Eduardo Velloso, Tim Miller
Designing for Contestation: Insights from Administrative Law. CoRR (2021)
Lyndon Benke, Michael Papasimeon, Tim Miller
Modelling Strategic Deceptive Planning in Adversarial Multi-Agent Systems. CoRR (2021)
Ronal Rajneshwar Singh, Paul Dourish, Piers Howe, Tim Miller, Liz Sonenberg, Eduardo Velloso, Frank Vetere
Directive Explanations for Actionable Explainability in Machine Learning Applications. CoRR (2021)
Ronal Singh, Tim Miller, Darryn Reid
Collaborative Human-Agent Planning for Resilience. COINE (2021)
Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. CoRR (2021)
Henrietta Lyons, Eduardo Velloso, Tim Miller
Fair and Responsible AI: A Focus on the Ability to Contest. CoRR (2021)
Henrietta Lyons, Eduardo Velloso, Tim Miller
Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions. Proc. ACM Hum. Comput. Interact. 5 (CSCW1) (2021)
Tim Miller
Contrastive explanation: a structural-model approach. Knowl. Eng. Rev. 36 (2021)
Melissa J. Rogerson, Joshua Newn, Ronal Singh, Emma Baillie, Michael Papasimeon, Lyndon Benke, Tim Miller
Observing Multiplayer Boardgame Play at a Distance. CHI PLAY (2021)
Ronal Singh, Tim Miller, Darryn Reid
Collaborative Human-Agent Planning for Resilience. CoRR (2021)
Abeer Alshehri, Tim Miller, Liz Sonenberg
Modeling communication of collaborative multiagent system under epistemic planning. Int. J. Intell. Syst. 36 (10) (2021)
Thao Le, Ronal Singh, Tim Miller
Goal Recognition for Deceptive Human Agents through Planning and Gaze. J. Artif. Intell. Res. 71 (2021)
Ronal Singh, Upol Ehsan, Marc Cheong, Mark O. Riedl, Tim Miller
LEx: A Framework for Operationalising Layers of Machine Learning Explanations. CoRR (2021)
Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza, Rachel Burrows
Emotionalism Within People-Oriented Software Design. Frontiers Comput. Sci. 3 (2021)
Henrietta Lyons, Eduardo Velloso, Tim Miller
Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions. CoRR (2021)
Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
Distal Explanations for Explainable Reinforcement Learning Agents. CoRR (2020)
Steven Spratley, Krista A. Ehinger, Tim Miller
A Closer Look at Generalisation in RAVEN. ECCV (27) (2020)
Ronal Rajneshwar Singh, Tim Miller, Joshua Newn, Eduardo Velloso, Frank Vetere, Liz Sonenberg
Combining gaze and AI planning for online human intention recognition. Artif. Intell. 284 (2020)
Tim Miller, Rosina Weber, Daniele Magazenni
Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop. AI Mag. 41 (1) (2020)
Mor Vered, Piers Howe, Tim Miller, Liz Sonenberg, Eduardo Velloso
Demand-Driven Transparency for Monitoring Intelligent Agents. IEEE Trans. Hum. Mach. Syst. 50 (3) (2020)
Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
Explainable Reinforcement Learning through a Causal Lens. AAAI (2020)
Ruihan Zhang, Prashan Madumal, Tim Miller, Krista A. Ehinger, Benjamin I. P. Rubinstein
Improving Interpretability of CNN Models Using Non-Negative Concept Activation Vectors. CoRR (2020)
Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
A Grounded Interaction Protocol for Explainable Artificial Intelligence. CoRR (2019)
Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
Explainable Reinforcement Learning Through a Causal Lens. CoRR (2019)
Guang Hu, Tim Miller, Nir Lipovetzky
What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS. CoRR (2019)
Abeer Alshehri, Tim Miller, Liz Sonenberg
Improving Performance of Multiagent Cooperation Using Epistemic Planning. CoRR (2019)
Rachel Burrows, Antonio A. Lopez-Lorca, Leon Sterling, Tim Miller, Antonette Mendoza, Sonja Pedell
Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. RE (2019)
Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
A Grounded Interaction Protocol for Explainable Artificial Intelligence. AAMAS (2019)
Mor Vered, Frank Dignum, Tim Miller
Let's Make It Personal, A Challenge in Personalizing Medical Inter-Human Communication. CoRR (2019)
Rachel Burrows, Antonette Mendoza, Leon Sterling, Tim Miller, Sonja Pedell
Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness. ECSCW Exploratory Papers, Demos and Posters (2019)
Mohammadhossein Sherkat, Antonette Mendoza, Tim Miller, Rachel Burrows
Emotional Attachment Framework for People-Oriented Software. CoRR (2018)
Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza, Rachel Burrows
Emotionalism within People-Oriented Software Design. CoRR (2018)
Miquel Ramírez, Michael Papasimeon, Nir Lipovetzky, Lyndon Benke, Tim Miller, Adrian R. Pearce, Enrico Scala, Mohammad Zamani
Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering. AAMAS (2018)
Eman Alatawi, Tim Miller, Harald Søndergaard
Symbolic Execution with Invariant Inlay: Evaluating the Potential. ASWEC (2018)
Prashan Madumal, Tim Miller, Frank Vetere, Liz Sonenberg
Towards a Grounded Dialog Model for Explainable Artificial Intelligence. CoRR (2018)
Ronal Rajneshwar Singh, Tim Miller, Joshua Newn, Liz Sonenberg, Eduardo Velloso, Frank Vetere
Combining Planning with Gaze for Online Human Intention Recognition. AAMAS (2018)
Eman Alatawi, Antonette Mendoza, Tim Miller
Psychologically-Driven Requirements Engineering: A Case Study in Depression Care. ASWEC (2018)
Tim Miller, Jens Pfau, Liz Sonenberg, Yoshihisa Kashima
Logics of Common Ground. J. Artif. Intell. Res. 58 (2017)
Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller
The Minds of Many: Opponent Modeling in a Stochastic Game. IJCAI (2017)
Eman Alatawi, Harald Søndergaard, Tim Miller
Leveraging abstract interpretation for efficient dynamic symbolic execution. ASE (2017)
Tim Miller, Piers Howe, Liz Sonenberg
Explainable AI: Beware of Inmates Running the Asylum Or: How I Learnt to Stop Worrying and Love the Social and Behavioural Sciences. CoRR (2017)
Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland
Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. 31 (3) (2017)
Miquel Ramírez, Michael Papasimeon, Lyndon Benke, Nir Lipovetzky, Tim Miller, Adrian R. Pearce
Real-Time UAV Maneuvering via Automated Planning in Simulations. IJCAI (2017)
Yoosef B. Abushark, John Thangarajah, James Harland, Tim Miller
A framework for automatically ensuring the conformance of agent designs. J. Syst. Softw. 131 (2017)
Tim Miller, Christian J. Muise
Belief Update for Proper Epistemic Knowledge Bases. IJCAI (2016)
Eman Alatawi, Tim Miller, Harald Søndergaard
Generating source inputs for metamorphic testing using dynamic symbolic execution. MET@ICSE (2016)
Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland
Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS (2016)
Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza
Does it Fit Me Better? User Segmentation in Requirements Engineering. APSEC (2016)
Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Planning for a Single Agent in a Multi-Agent Environment Using FOND. IJCAI (2016)
Liz Sonenberg, Tim Miller, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum
Social planning for social HRI. CoRR (2016)
Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
'Knowing Whether' in Proper Epistemic Knowledge Bases. AAAI (2016)
Yude Lin, Tim Miller, Harald Søndergaard
Compositional Symbolic Execution: Incremental Solving Revisited. APSEC (2016)
Ronal Rajneshwar Singh, Liz Sonenberg, Tim Miller
Communication and Shared Mental Models for Teams Performing Interdependent Tasks. COIN@AAMAS/ECAI (2016)
Eman Alatawi, Tim Miller, Harald Søndergaard
Using Metamorphic Testing to Improve Dynamic Symbolic Execution. ASWEC (2015)
Tim Miller, Sonja Pedell, Antonio A. Lopez-Lorca, Antonette Mendoza, Leon Sterling, Alen Keirnan
Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems. J. Syst. Softw. 105 (2015)
Christian J. Muise, Frank Dignum, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Towards Team Formation via Automated Planning. COIN@AAMAS/IJCAI (2015)
Maheswaree Kissoon Curumsing, Antonio A. Lopez-Lorca, Tim Miller, Leon Sterling, Rajesh Vasa
Viewpoint Modelling with Emotions: A Case Study. Int. J. People Oriented Program. 4 (2) (2015)
Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI (2015)
David A. W. Clarke, Tim Miller, Antonette Mendoza
Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct. ASWEC (2) (2015)
Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff
Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS (2015)
Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
Computing Social Behaviours Using Agent Models. IJCAI (2015)
Christian J. Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. AAMAS (2015)
Yude Lin, Tim Miller, Harald Søndergaard
Compositional Symbolic Execution Using Fine-Grained Summaries. ASWEC (2015)
Yude Lin, Tim Miller
Looking Closer at Compositional Symbolic Execution. ASWEC (2) (2015)
Ronal Rajneshwar Singh, Tim Miller, Liz Sonenberg
A Preliminary Analysis of Interdependence in Multiagent Systems. PRIMA (2014)
Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland
Checking consistency of agent designs against interaction protocols for early-phase defect location. AAMAS (2014)
Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller
Robust anticipatory stigmergic collision avoidance in multi-agent systems. AAMAS (2014)
Hilary Davis, Sonja Pedell, Antonio A. Lopez-Lorca, Tim Miller, Leon Sterling
Researchers as proxies for informal carers: photo sharing with older adults to mediate wellbeing. OZCHI (2014)
Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah
Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI (2014)
Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller
Anticipatory stigmergic collision avoidance under noise. GECCO (2014)
Antonio A. Lopez-Lorca, Tim Miller, Sonja Pedell, Antonette Mendoza, Alen Keirnan, Leon Sterling
One size doesn't fit all: diversifying "the user" using personas and emotional scenarios. SSE@SIGSOFT FSE (2014)
Tim Miller, Bin Lu, Leon Sterling, Ghassan Beydoun, Kuldar Taveter
Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Trans. Software Eng. 40 (10) (2014)
Tim Miller, Adrian R. Pearce, Liz Sonenberg, Frank Dignum, Paolo Felli, Christian J. Muise
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. AAAI Fall Symposia (2014)
Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. ICSR (2014)

Tim Miller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tim Miller