---
res:
  bibo_abstract:
  - 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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Nikola
      foaf_name: Beneš, Nikola
      foaf_surname: Beneš
  - foaf_Person:
      foaf_givenName: Luboš
      foaf_name: Brim, Luboš
      foaf_surname: Brim
  - foaf_Person:
      foaf_givenName: Ondřej
      foaf_name: Huvar, Ondřej
      foaf_surname: Huvar
  - foaf_Person:
      foaf_givenName: Samuel
      foaf_name: Pastva, Samuel
      foaf_surname: Pastva
      foaf_workInfoHomepage: http://www.librecat.org/personId=07c5ea74-f61c-11ec-a664-aa7c5d957b2b
    orcid: 0000-0003-1993-0331
  - foaf_Person:
      foaf_givenName: David
      foaf_name: Šafránek, David
      foaf_surname: Šafránek
  bibo_doi: 10.1007/978-3-031-71671-3_2
  bibo_volume: 14971
  dct_date: 2024^xs_gYear
  dct_identifier:
  - UT:001333144400002
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783031716706
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: 'BNClassifier: Classifying boolean models by dynamic properties@'
...