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.
|