On using deterministic models to design agent-based, robotic systems | IEEE Conference Publication | IEEE Xplore