3 papers
q-bio.MN2026
Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
OndÅej Huvar, Nikola BeneÅ¡, Martin Jonáš +2
Qualitative models provide crucial instruments for modelling complex biological systems. While advances in automated reasoning and symbolic encodings have enabled rigorous inferenc…
cs.LO2026
SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
OndÅej Huvar, Martin Jonáš, Samuel Pastva
The theory of uninterpreted functions is a key modeling tool for systems with unknown or abstracted components. Some domains such as systems biology impose further restrictions reg…
q-bio.MN2024
An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?
Samuel Pastva, Kyu Hyong Park, Ondrej Huvar +2
Asynchronous Boolean networks are a type of discrete dynamical system in which each variable can take one of two states, and a single variable state is updated in each time step ac…