Formal Modelling and Verification of Probabilistic Resource Bounded Agents.
Hoang Nga NguyenAbdur RakibPublished in: J. Log. Lang. Inf. (2023)
Keyphrases
- resource bounded
- meta level
- information gathering
- autonomous agents
- formal methods
- bayesian networks
- multi agent systems
- rational agents
- probabilistic model
- model checking
- multiagent systems
- training data
- cooperative
- generative model
- dynamic environments
- formal specification
- neural network
- fuzzy logic
- decision making