Up a level |
Özbaltan, M and Berthier, N ORCID: 0000-0002-0933-8193
(2021)
Power-aware scheduling of data-flow hardware circuits with symbolic control.
Archives of Control Sciences, 31 (2).
pp. 331-346.
Husien, I, Schewe, S ORCID: 0000-0002-9093-9518 and Berthier, N ORCID: 0000-0002-0933-8193
(2017)
PranCS: A protocol and discrete controller synthesis tool.
.
Alshareef, A, Berthier, N, Schewe, S ORCID: 0000-0002-9093-9518 and Huang, X ORCID: 0000-0001-6267-0366
(2022)
Quantifying the Importance of Latent Features in Neural Networks.
.