On Relation Between Linear Temporal Logic and Quantum Finite Automata.

Amandeep Singh Bhatia Ajay Kumar

Published in: J. Log. Lang. Inf. (2020)

Keyphrases

finite automata
deterministic automata
linear temporal logic
probabilistic automata
regular expressions
grammatical inference
bounded model checking
model checking
temporal logic
tree automata
hidden markov models
finite automaton
database
query language
markov decision processes
game playing