Unified Verification Theory.

Published in: Temporal Logic in Specification (1987)

Keyphrases

mobile robot
machine learning
computational model
theoretical framework
information theory
theoretical basis
formal theory
genetic algorithm
multi agent