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