Formal Modelling and Verification of Probabilistic Resource Bounded Agents

Hoang Nga Nguyen, Rakib Abdur

Research output: Contribution to journal › Article › peer-review

74 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Modelling and Verification of Probabilistic Resource Bounded Agents'. Together they form a unique fingerprint.

Computer Science