cfaed Publications
Synthesis of optimal resilient control strategies
Reference
Christel Baier, Clemens Dubslaff, Antonín Ku\vcera, Vojt\vech \vRehák, others, "Synthesis of optimal resilient control strategies", In Proceeding: International Symposium on Automated Technology for Verification and Analysis, pp. 417–434, 2017.
Bibtex
@inproceedings{baier2017synthesis,
title={Synthesis of optimal resilient control strategies},
author={Baier, Christel and Dubslaff, Clemens and Ku{\v{c}}era, Anton{\'\i}n and {\v{R}}eh{\'a}k, Vojt{\v{e}}ch and others},
booktitle={International Symposium on Automated Technology for Verification and Analysis},
pages={417--434},
year={2017},
organization={Springer}
}
title={Synthesis of optimal resilient control strategies},
author={Baier, Christel and Dubslaff, Clemens and Ku{\v{c}}era, Anton{\'\i}n and {\v{R}}eh{\'a}k, Vojt{\v{e}}ch and others},
booktitle={International Symposium on Automated Technology for Verification and Analysis},
pages={417--434},
year={2017},
organization={Springer}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1557