|Title||System Model Formulation Using Markov Chains|
|Year of Publication||2014|
|Authors||Snodgrass, S, Aha, DW|
|Series Title||NCARAI Technical Note|
|Institution||Naval Research Laboratory, Navy Center for Applied Research in Artificial Intelligence|
Creating formal models for systems manually is time consuming and difficult. Automating the generation and verification of these formal models can reduce the overhead of developing the models. In this paper we propose an approach (MC-MC) to verifying and generating portions of the formal model using Markov chains.
NRL Publication Release Number: