A Framework to Reason about the Knowledge of Agents in Continuous Dynamic Systems
International journal of advanced computer science and applications/International journal of advanced computer science & applications