Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties.

Lvzhou Li Yuan Feng

Published in: Inf. Comput. (2015)

Keyphrases

model checking
markov chain
finite state
hybrid systems
temporal properties
temporal logic

formal verification
transition probabilities
black box
state space
neural network
finite state machines

epistemic logic
formal methods
artificial intelligence
meta learning
intelligent systems
discrete event

verification method
description logics
computational intelligence
search problems
control system
knowledge base