Open AccessA Study of Complex Property Counterexample Generation Method for Markov Model
Author(s) -
Mingyu Ji,
Zhiyuan Chen,
Yanmei Li
Publication year - 2014
Publication title -
international journal of control and automation
Language(s) - English
Resource type - Journals
eISSN - 2207-6387
pISSN - 2005-4297
DOI - 10.14257/ijca.2014.7.2.24
Subject(s) - counterexample , markov chain , property (philosophy) , markov model , computer science , markov property , mathematics , discrete mathematics , machine learning , philosophy , epistemology