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}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1557


Go back to publications list