Task Scheduling with Nonlinear Costs using SMT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos. Task Scheduling with Nonlinear Costs using SMT Solvers. In 15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, BC, Canada, August 22-26, 2019. pages 183-188, IEEE, 2019. [doi]

This author has not been identified. Look up 'Mohammad Hekmatnejad' in GoogleThis author has not been identified. Look up 'Giulia Pedrielli' in GoogleThis author has not been identified. Look up 'Georgios Fainekos' in Google

runs on WebDSL