Return to Article Details Formal Validation of an Agent-based Location Guidance System (LGS) Download Download PDF