Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin. Compositional synthesis of state-dependent switching control. Theoretical Computer Science, 750:53-68, 2018. [doi]
@article{CoentFMVC18,
title = {Compositional synthesis of state-dependent switching control},
author = {Adrien Le Coënt and Laurent Fribourg and Nicolas Markey and Florian De Vuyst and Ludovic Chamoin},
year = {2018},
doi = {10.1016/j.tcs.2018.01.021},
url = {https://doi.org/10.1016/j.tcs.2018.01.021},
researchr = {https://researchr.org/publication/CoentFMVC18},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {750},
pages = {53-68},
}