Model Checking Algorithm for Repairing Inference between Conjunctive Forms.

Guillermo De Ita Pedro Bello

Published in: Computación y Sistemas (2022)

Keyphrases

model checking
verification method
optimal solution
dynamic programming
temporal logic
search space
search algorithm
computational complexity
rough sets
deterministic finite automaton