Logic-based multi-objective design of chemical reaction networks

Luca Bortolussi, Alberto Policriti, Simone Silvetti
2016-01-01
Cite DOI
Type
Conference paper
Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Multi-objective optimization; Robustness; System design; Temporal logic; Theoretical Computer Science; Computer Science (all)

Related