| HAJNAL, Matej a Samuel PASTVA. Toward Model Selection by Formal Methods. Online. In Ankit Gupta, Tatjana Petrov. Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350. Freiburg im Breisgau, Germany: Elsevier, 2020, s. 57-71. ISSN 1571-0661. Dostupné z: https://dx.doi.org/10.1016/j.entcs.2020.06.004. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1492018,
author = {Hajnal, Matej and Pastva, Samuel},
address = {Freiburg im Breisgau, Germany},
booktitle = {Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350},
doi = {http://dx.doi.org/10.1016/j.entcs.2020.06.004},
editor = {Ankit Gupta, Tatjana Petrov},
keywords = {model checking; model selection; FFL},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Freiburg im Breisgau, Germany},
pages = {57-71},
publisher = {Elsevier},
title = {Toward Model Selection by Formal Methods},
url = {http://www.sciencedirect.com/science/article/pii/S1571066120300311},
year = {2020}
}
TY - JOUR
ID - 1492018
AU - Hajnal, Matej - Pastva, Samuel
PY - 2020
TI - Toward Model Selection by Formal Methods
PB - Elsevier
CY - Freiburg im Breisgau, Germany
KW - model checking
KW - model selection
KW - FFL
UR - http://www.sciencedirect.com/science/article/pii/S1571066120300311
L2 - http://www.sciencedirect.com/science/article/pii/S1571066120300311
N2 - 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.
ER -
HAJNAL, Matej a Samuel PASTVA. Toward Model Selection by Formal Methods. Online. In Ankit Gupta, Tatjana Petrov. \textit{Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350}. Freiburg im Breisgau, Germany: Elsevier, 2020, s.~57-71. ISSN~1571-0661. Dostupné z: https://dx.doi.org/10.1016/j.entcs.2020.06.004.
|
