Martin Jon\'a\v{s}

Identifiers

No identifiers captured yet.

Papers (5)

1. Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT q-bio.MN · 2026 · author #3
2. Multiagent Stochastic Shortest Path Problem cs.MA · 2026 · author #1
3. SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology cs.LO · 2026 · author #2
4. SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking cs.PL · 2017 · author #2
5. On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoding cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ond\v{r}ej Huvar 2 shared papers
• Samuel Pastva 2 shared papers
• Anton\'in Ku\v{c}era 1 shared papers
• David \v{S}afr\'anek 1 shared papers
• Jan Ma\v{c}\'ak 1 shared papers
• Jan Mr\'azek 1 shared papers
• Jan Strej\v{c}ek 1 shared papers
• Ji\v{r}\'i Barnat 1 shared papers
• Nikola Bene\v{s} 1 shared papers
• Vojt\v{e}ch K\r{u}r 1 shared papers
• Vojt\v{e}ch \v{R}eh\'ak 1 shared papers