Learning probabilistic models for model checking: an evolutionary approach and an empirical study

Authors
Publication date
1 November 2018
Publisher
Springer Verlag

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Institutional Knowledge at Singapore Management University

    redirect
    oaioai:ink.library.smu.edu.sg:sis...
    Last time updated on 28/04/2021