Pages that link to "Item:Q2164238"
From MaRDI portal
The following pages link to Syntax-guided optimal synthesis for chemical reaction networks (Q2164238):
Displaying 6 items.
- Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
- DNA-templated synthesis optimization (Q1694410) (← links)
- Counterexample-guided inductive synthesis for probabilistic systems (Q1982641) (← links)
- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system (Q2022307) (← links)
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models (Q4991932) (← links)
- Counterexample-driven synthesis for probabilistic program sketches (Q6535945) (← links)