Generation of Minimum Tree-Like Witnesses for Existential CTL.

Chuan Jiang Gianfranco Ciardo

Published in: TACAS (1) (2018)

Keyphrases

model checking
spanning tree
tree structure
temporal logic
query answering
generation process
expressive power
binary tree
tree structures
b tree
tree nodes
tree construction
tree search
formal specification
databases
belief revision
logic programming
search algorithm
genetic algorithm
neural network