Rakib, A. (2012). Formal approaches to modelling and verifying resource-bounded agents-state of the art and future prospects. https://doi.org/10.4172/2165-7866.1000e109