On Computability of Logical Approaches to Branching-Time Property Verification of Programs.

Takeshi Tsukada

Published in: LICS (2020)

Keyphrases

strengths and weaknesses
decision trees
model checking
databases
neural network
data mining
computer vision
search algorithm