Dynamic Hierarchical Reactive Controller Synthesis

Schmuck, Anne-Kathrin and Majumdar, Rupak
(2015) Dynamic Hierarchical Reactive Controller Synthesis.
CoRR, abs/15.

Full text not available from this repository.
Official URL: http://arxiv.org/abs/1510.07246

Actions

Actions (login required)

View Item View Item