Informace o publikaci

Toward Model Selection by Formal Methods

Autoři

HAJNAL Matej PASTVA Samuel

Rok publikování 2020
Druh Článek ve sborníku
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.sciencedirect.com/science/article/pii/S1571066120300311
Doi http://dx.doi.org/10.1016/j.entcs.2020.06.004
Klíčová slova model checking, model selection, FFL
Popis We address the problem of selecting a model from a list of potential models in the field of dynamical systems. The selection is based on model behaviour specified in temporal logic rather than time series. We suggest and apply several ordering relations comparing the models given property specification. To provide a formal method for the proposed setting we exploit and adapt model checking and parameter synthesis methods. To evaluate the method, we apply the proposed method to the FFL motifs.
Související projekty: