Formal approaches to modelling and verifying resource-bounded agents-state of the art and future prospects
(2012)
Journal Article
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
This paper reviews formal approaches to modelling and verifying resource-bounded agents focusing on state of the Art and future prospects.