Login / Signup
Survey on applications of algebraic state space theory of logical systems to finite state machines.
Yongyi Yan
Daizhan Cheng
Jun-e Feng
Haitao Li
Jumei Yue
Published in:
Sci. China Inf. Sci. (2023)
Keyphrases
</>
finite state machines
state space
model checking
reinforcement learning
theoretical framework
state transition
algebraic geometry
building blocks
heuristic search
digital circuits
high level
keywords
dynamic programming
computer systems
complex systems
linear algebra