Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic | IEEE Journals & Magazine | IEEE Xplore