conference paper published yes Nikola Beneš author Luboš Brim author Ondřej Huvar author Samuel Pastva author 07c5ea74-f61c-11ec-a664-aa7c5d957b2b0000-0003-1993-0331 David Šafránek author ToHe department IST-BRIDGE: International postdoctoral program project Partially Specified Boolean Networks (PSBNs) represent a family of Boolean models resulting from possible interpretations of unknown update logics. Hybrid extension of CTL (HCTL) has the power to express complex dynamical phenomena, such as oscillations or stability. We present BNClassifier to classify Boolean Networks corresponding to a given PSBN according to criteria specified in HCTL. The implementation of the tool is fully symbolic (based on BDDs). The results are visualised using the machine-learning-based technology of decision trees. Springer Nature2024 eng 0302-9743 1611-3349 9783031716706 00133314440000210.1007/978-3-031-71671-3_2 1497119-26 Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2024. BNClassifier: Classifying boolean models by dynamic properties. Computational Methods in Systems Biology. , LNBI, vol. 14971, 19–26. N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26. Beneš, Nikola, et al. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” <i>Computational Methods in Systems Biology</i>, vol. 14971, Springer Nature, 2024, pp. 19–26, doi:<a href="https://doi.org/10.1007/978-3-031-71671-3_2">10.1007/978-3-031-71671-3_2</a>. Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. BNClassifier: Classifying boolean models by dynamic properties. In: <i>Computational Methods in Systems Biology</i>. Vol 14971. Springer Nature; 2024:19-26. doi:<a href="https://doi.org/10.1007/978-3-031-71671-3_2">10.1007/978-3-031-71671-3_2</a> Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” In <i>Computational Methods in Systems Biology</i>, 14971:19–26. Springer Nature, 2024. <a href="https://doi.org/10.1007/978-3-031-71671-3_2">https://doi.org/10.1007/978-3-031-71671-3_2</a>. Beneš, N., Brim, L., Huvar, O., Pastva, S., &#38; Šafránek, D. (2024). BNClassifier: Classifying boolean models by dynamic properties. In <i>Computational Methods in Systems Biology</i> (Vol. 14971, pp. 19–26). Springer Nature. <a href="https://doi.org/10.1007/978-3-031-71671-3_2">https://doi.org/10.1007/978-3-031-71671-3_2</a> N. Beneš, L. Brim, O. Huvar, S. Pastva, and D. Šafránek, “BNClassifier: Classifying boolean models by dynamic properties,” in <i>Computational Methods in Systems Biology</i>, 2024, vol. 14971, pp. 19–26. 181772024-10-06T22:01:12Z2025-09-08T09:54:27Z