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 Sat Jul 5 20:07:23 2025 CEST.