SamaTulyataOne: A Path Based Equivalence Checker.

Soumyadip Bandyopadhyay Dipankar Sarkar Chittaranjan Mandal

Published in: ISEC (2019)

Keyphrases

data sets
information retrieval
genetic algorithm
learning algorithm
decision making
data structure
hidden markov models
equivalence relation
interactive dynamic influence diagrams