Quantum temporal logic and reachability problems of matrix semigroups.

Published in: Inf. Comput. (2024)

Keyphrases

temporal logic
model checking
np complete
satisfiability problem
model checker
modal logic
concurrent systems
artificial intelligence
expressive power
decision problems
reactive systems
formal specification language