Formal modelling and verification of probabilistic resource bounded agents

From MaRDI portal
Publication:6190087

DOI10.1007/s10849-023-09405-1MaRDI QIDQ6190087

Hoang Nga Nguyen, Abdur Rakib

Publication date: 6 February 2024

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)






Cites Work