Sign in
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.
Luca Cardelli
Milan Ceska
Martin Fränzle
Marta Z. Kwiatkowska
Luca Laurenti
Nicola Paoletti
Max Whitby
Published in:
CAV (2) (2017)
Keyphrases
</>
chemical reaction
dynamic programming
closed form
optimal solution
real time
neural network
data structure
database
knowledge base
database systems
data sets
optimal control
optimal strategy
optimal design
telecommunication networks
network topologies
network size