%0 Journal Article %1 journals/tcst/BaltaKSTB22 %A Balta, Efe C. %A Kovalenko, Ilya %A Spiegel, Isaac A. %A Tilbury, Dawn M. %A Barton, Kira %D 2022 %J IEEE Trans. Control. Syst. Technol. %K dblp %N 1 %P 352-359 %T Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic. %U http://dblp.uni-trier.de/db/journals/tcst/tcst30.html#BaltaKSTB22 %V 30

@article{journals/tcst/BaltaKSTB22, added-at = {2023-07-27T00:00:00.000+0200}, author = {Balta, Efe C. and Kovalenko, Ilya and Spiegel, Isaac A. and Tilbury, Dawn M. and Barton, Kira}, biburl = {https://www.bibsonomy.org/bibtex/2360ec862016a9f6413d0eab33c56eb23/dblp}, ee = {https://doi.org/10.1109/TCST.2021.3054800}, interhash = {1f8d0fdeecccfb343178aaed43b35e73}, intrahash = {360ec862016a9f6413d0eab33c56eb23}, journal = {IEEE Trans. Control. Syst. Technol.}, keywords = {dblp}, number = 1, pages = {352-359}, timestamp = {2024-04-08T20:16:31.000+0200}, title = {Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic.}, url = {http://dblp.uni-trier.de/db/journals/tcst/tcst30.html#BaltaKSTB22}, volume = 30, year = 2022 }