Bacchus, Fahiem
University of Toronto. Planning systems, temporal logic, constraint satisfaction problems and formal models.

No queries for www.cs.toronto.edu/~fbacchus