![](/img/cover-not-exists.png)
Compositional Synthesis of Finite State Abstractions
Mallik, Kaushik, Schmuck, Anne-Kathrin, Soudjani, Sadegh, Majumdar, RupakYear:
2018
Language:
english
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/tac.2018.2869740
File:
PDF, 286 KB
english, 2018