publication venue for
- Distributed boundary coverage with a team of networked miniature robots using a robust market-based algorithm 2008
- Supporting user-defined granularities in a spatiotemporal conceptual model 2002
- Distributed problem solving in social insects 2001
- Global solutions for nonlinear systems using qualitative reasoning 1998
- Automatic construction of accurate models of physical systems 1996