Associate Professor Timothy Miller
- Artificial Intelligence (Autonomous systems)
- Artificial Intelligence (Human-agent interaction)
Associate Professor Tim Miller is an academic in the School of Computing and Information Systems at The University of Melbourne.
Tim received his PhD in 2005 from the University of Queensland. He spent four years at the University of Liverpool, UK, as a software engineer and postdoctoral researcher associate in the Agent ART group. In 2008, he moved to Melbourne to take up his current post. Tim's primary interest lies in the area of artificial intelligence, in particular human-agent interaction.
- Miller, T.; Niu, J.; Chapman, M.; Mcburney, P. An overview and evaluation of the cat market design competition. . 2018, pp. 468-489. DOI: 10.1093/oxfordhb/9780199844371.013.18
- Singh, R.; Miller, T.; Newn, J.; Sonenberg, L.; Velloso, E.; Vetere, F. Combining planning with gaze for online human intention recognition: Socially interactive agents track. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. IFAAMAS International Foundation for Autonomous Agents and Multiagent Systems. 2018, Vol. 1, pp. 488-496.
- Hoffman, R.; Miller, T.; Mueller, ST.; Klein, G.; Clancey, WJ. Explaining Explanation, Part 4: A Deep Dive on Deep Nets. IEEE INTELLIGENT SYSTEMS. IEEE COMPUTER SOC. 2018, Vol. 33, Issue 3, pp. 87-95. DOI: 10.1109/MIS.2018.033001421
- Ramirez, M.; Benke, L.; Papasimeon, M.; Lipovetzky, N.; Pearce, AR.; Zamani, M.; Scala, E.; Miller, T. Integrated hybrid planning and programmed control for real-time UAV maneuvering. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. Elsevier Inc.. 2018, Vol. 2, pp. 1318-1326.
- Blom, M.; Shekh, S.; Gossink, D.; Miller, T.; Pearce, AR. Inventory routing for defense: Moving supplies in adversarial and partially observable environments. Journal of Defense Modeling and Simulation. 2018. DOI: 10.1177/1548512918798056
- Miller, T.; Pearce, AR.; Sonenberg, L. Social Planning for Trusted Autonomy. . SPRINGER INTERNATIONAL PUBLISHING AG. 2018, Vol. 117, pp. 67-86. DOI: 10.1007/978-3-319-64816-3_4
- Alatawi, E.; Miller, T.; Sondergaard, H. Symbolic execution with invariant inlay: Evaluating the potential. . IEEE Conference Publishing Services. 2018, pp. 26-30. DOI: 10.1109/ASWEC.2018.00012
- Abushark, Y.; Thangarajah, J.; Harland, J.; Miller, T. A framework for automatically ensuring the conformance of agent designs. Journal of Systems and Software. ELSEVIER SCIENCE INC. 2017, Vol. 131, pp. 266-310. DOI: 10.1016/j.jss.2017.05.098
- Winfree, T.; Goldacre, P.; Sherkat, M.; Graham, P.; Mendoza, A.; Miller, T. Learning for low carbon living: The potential of mobile learning applications for built environment trades and professionals in Australia. Procedia Engineering. ELSEVIER SCIENCE BV. 2017, Vol. 180, pp. 1773-1783. DOI: 10.1016/j.proeng.2017.04.340
- Alatawi, E.; Sondergaard, H.; Miller, T. Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution. ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. IEEE. 2017, pp. 619-624. DOI: 10.1109/ASE.2017.8115672
- Miller, T.; Pfau, J.; Sonenberg, L.; Kashima, Y. Logics of Common Ground. Journal of Artificial Intelligence Research. AI ACCESS FOUNDATION. 2017, Vol. 58, pp. 859-904. DOI: 10.1613/jair.5381
- Pedell, S.; Keirnan, A.; Priday, G.; Miller, T.; Mendoza, A.; Lopez-lorca, A.; Sterling, L. Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project. Technology Innovation Management Review. CARLETON UNIV GRAPHIC SERVICES. 2017, Vol. 7, Issue 2, pp. 7-19.
- Ramirez, M.; Papasimeon, M.; Benke, L.; Lipovetzky, N.; Miller, T.; Pearce, AR. Real-time UAV maneuvering via automated planning in simulations. IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. 2017, pp. 5243-5245.
- Abushark, Y.; Miller, T.; Thangarajah, J.; Winikoff, M.; Harland, J. Requirements specification via activity diagrams for agent-based systems. Autonomous Agents and Multi-Agent Systems. SPRINGER. 2017, Vol. 31, Issue 3, pp. 423-468. DOI: 10.1007/s10458-016-9327-7
- Von Der Osten, FB.; Kirley, M.; Miller, T. Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems. Scientific Reports. NATURE PUBLISHING GROUP. 2017, Vol. 7, Issue 1. DOI: 10.1038/s41598-017-02151-y
- Von Der Osten, FB.; Kirley, M.; Miller, T. The minds of many: Opponent modelling in a stochastic game. IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. 2017, pp. 3845-3851.
- Miller, T.; Muise, C. Belief update for proper epistemic knowledge bases. International Joint Conference On Artificial Intelligence. AAAI Press. 2016, Vol. 2016-January, pp. 1209-1215.
- Singh, R.; Sonenberg, L.; Miller, T. Communication and Shared Mental Models for Teams Performing Interdependent Tasks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2016, Vol. 10002, pp. 163-179. DOI: 10.1007/978-3-319-46882-2_10
- Li, S.; Sun, W.; Miller, T. Communication in human-agent teams for tasks with joint action. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). AAAI Press. 2016, Vol. 9628, pp. 224-241. DOI: 10.1007/978-3-319-42691-4_13
- Lin, Y.; Miller, T.; Sondergaard, H. Compositional Symbolic Execution: Incremental Solving Revisited. Proceedings - Asia-Pacific Software Engineering Conference, APSEC. IEEE. 2016, pp. 273-280. DOI: 10.1109/APSEC.2016.49
View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile