Dynamic hierarchical reactive controller synthesis

Schmuck, Anne-Kathrin and Majumdar, Rupak and Leva, Adrian
(2017) Dynamic hierarchical reactive controller synthesis.
Discrete Event Dynamic Systems, 27 (2). 261–299.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/s10626-017-0239-8

Actions

Actions (login required)

View Item View Item