Login / Signup
A Formal Methodology for Verifying Situated Agents.
Phan Minh Dung
Published in:
AAAI/IAAI (1998)
Keyphrases
</>
situated agents
artificial life
formal model
artificial intelligence
bayesian networks
evolutionary algorithm
model checking
formal methods
data sets
learning algorithm
search engine
multiscale
probabilistic model
computational intelligence
formal language