cfaed Publications
Maximizing the Conditional Expected Reward for Reaching the Goal
Reference
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich, "Maximizing the Conditional Expected Reward for Reaching the Goal", In Proceeding: Proc. of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part II, Springer, vol. 10206, pp. 269–285, 2017.
Bibtex
@inproceedings{BKKW17,
author = {Christel Baier and Joachim Klein and Sascha Kl{\"u}ppelholz and Sascha Wunderlich},
title = {Maximizing the Conditional Expected Reward for Reaching the Goal},
booktitle = {Proc. of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part {II}},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {269--285},
year = {2017},
ee = {http://dx.doi.org/10.1007/978-3-662-54580-5_16},
}
author = {Christel Baier and Joachim Klein and Sascha Kl{\"u}ppelholz and Sascha Wunderlich},
title = {Maximizing the Conditional Expected Reward for Reaching the Goal},
booktitle = {Proc. of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part {II}},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {269--285},
year = {2017},
ee = {http://dx.doi.org/10.1007/978-3-662-54580-5_16},
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1560