Sarah L. Hickmott

sarah.hickmott@rmit.edu.au

Intelligent Systems (Agents Group)
School of CS & IT
RMIT University, City Campus
Building 14 Level 8 Office 7C

GPO BOX 2476
Melbourne, VIC 3001
Australia



Current Research

Papers

Tutorials

PhD Thesis
Directed Unfolding - Reachability Analysis of Concurrent Systems and Application to Automated Planning.[pdf]