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]
Abstract is missing.