Analysis and Verification of Bisimulation Relationship for Learning Time-Behavior Sequence.

Shu Feng Yi Zhu Mei Song Yuxiang Gao

Published in: DSA (2022)

Keyphrases

learning algorithm
learning process
reinforcement learning
state space
neural network
inductive inference
supervised learning
statistical analysis
human behavior
learning tasks
learning problems
formal analysis
autonomous robots
inductive learning
learning systems
online learning
image analysis
genetic algorithm