3 citations · 8 across the 9 of their papers we have counts for
1 paper · 1 filter
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…