Formal Modelling and Verification of Probabilistic Resource Bounded Agents
Crossref DOI link: https://doi.org/10.1007/s10849-023-09405-1
Published Online: 2023-11-15
Published Print: 2023-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nguyen, Hoang Nga
Rakib, Abdur http://orcid.org/0000-0001-5430-450X
Text and Data Mining valid from 2023-11-15
Version of Record valid from 2023-11-15
Article History
Accepted: 15 September 2023
First Online: 15 November 2023