Topological Excitations in Neutral-Ionic Transition Systems.

Keishi Sunami Ryosuke Takehara Kazuya Miyagawa Hiroshi Okamoto Kazushi Kanoda

Published in: Symmetry (2022)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
artificial intelligence
model checker
knowledge base
search space
markov chain
test set
formal verification
fully observable