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]
No references recorded for this publication.
No citations of this publication recorded.