Formal approaches to modelling and verifying resource-bounded agents-state of the art and future prospects

Rakib, Abdur

Abstract

This paper reviews formal approaches to modelling and verifying resource-bounded agents focusing on state of the Art and future prospects.

• Journal Article Type: Article
• Acceptance Date: Sep 22, 2012
• Publication Date: Sep 25, 2012
• Deposit Date: Jun 16, 2017
• Publicly Available Date: Jun 19, 2017
• Journal: Journal of Information Technology & Software Engineering
• Print ISSN: 21657866
• Peer Reviewed: Peer Reviewed
• Volume: 02
• Issue: 04
• DOI: https://doi.org/10.4172/2165-7866.1000e109
• Keywords: resource-bounded systems, logics
• Public URL: https://uwe-repository.worktribe.com/output/943675
• Publisher URL: http://dx.doi.org/10.4172/2165-7866.1000e109
• Contract Date: Jun 16, 2017