Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System.

Yoshinori Neya Noriaki Yoshiura

Published in: ICFEM (2012)

Keyphrases

computationally efficient
computational complexity
neural network
decision trees
significant improvement
dynamic programming
classification accuracy
objective function
preprocessing
experimental evaluation
high accuracy
description logics
optimization method
iterative procedure
forward selection