Multi-objective optimization; Robustness; System design; Temporal logic; Theoretical Computer Science; Computer Science (all)

Logic-based multi-objective design of chemical reaction networks