Up a level |
Özbaltan, Mete and Berthier, Nicolas ORCID: 0000-0002-0933-8193
(2020)
A Case for Symbolic Limited Optimal Discrete Control: Energy Management in Reactive Data-flow Circuits.
In: IFAC World Congress 2020, 2020-7-11 - 2020-7-17, Berlin.
Özbaltan, Mete and Berthier, Nicolas ORCID: 0000-0002-0933-8193
(2018)
Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating.
In: 14th Workshop on Discrete Event Systems, 2018-5-30 - 2018-6-1, Sorrento Coast, Italy.
Kurucan, Mehmet, Özbaltan, Mete, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022)
Hidden 1-Counter Markov Models and How to Learn Them.
In: Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}, 2022-7-23 - 2022-7-29, Vienna, Austria.