Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
This paper reviews formal approaches to modelling and verifying resource-bounded agents focusing on state of the Art and future prospects.
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
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 |
2165-7866.1000e109.pdf
(706 Kb)
PDF
Analysing the predictivity of features to characterise the search space
(2022)
Conference Proceeding
Memory-constrained context-aware reasoning
(2022)
Conference Proceeding
A probabilistic logic for resource-bounded multi-agent systems
(2019)
Presentation / Conference
Probabilistic resource-bounded alternating-time temporal logic
(2019)
Presentation / Conference
Model checking ontology-driven reasoning agents using strategy and abstraction
(2019)
Journal Article
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search