Formal Modelling and Verification of Probabilistic Resource Bounded Agents

Date first appeared online	15/11/2023
DOI	10.1007/s10849-023-09405-1
Authors	Nguyen H.
Journal Name	Journal of Logic, Language and Information
Volume	32

Documents

• 64995.VOR.pdf , Book, © The Author(s) 2023. Distributed under the terms of a Creative Commons Attribution 4.0 International License (CC BY 4.0).