Number of items: 1.
Article
Schmuck, Anne-Kathrin and Majumdar, Rupak and Leva, Adrian
(2017)
Dynamic hierarchical reactive controller synthesis.
Discrete Event Dynamic Systems, 27 (2).
261–299.
This list was generated on Wed Jul 3 05:40:02 2024 CEST.