Non-deterministic, agent planning programs, adaptive planning, etc.
Software to support AI courses in Mel & RMIT Unis (Melbourne, AUS)
Implementing a complex module from simple devices and behaviors
AI for Business Processes
Determining the intention of an agent by observing its behavior.
Specification, reasoning, and verification of dynamic systems.