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…
cs.PL2025
Gray-Box Fuzzing in Local Space
Martin Jonáš, Jan StrejÄek, Marek TrtÃk
We consider gray-box fuzzing of a program instrumented such that information about evaluation of program expressions converting values of numerical types to Boolean, like x <= y, i…