cfaed Publications
Rare-event verification for stochastic hybrid systems
Reference
Paolo Zuliani, Christel Baier, Edmund Melson Clarke, "Rare-event verification for stochastic hybrid systems" , Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Jul 2012.
Bibtex
@InProceedings{ auto-key*fd,
author = {Paolo Zuliani and Christel Baier and Edmund Melson Clarke},
title = {Rare-event verification for stochastic hybrid systems},
booktitle = {Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC)},
month = jul,
year = {2012},
project = {B03}
}
author = {Paolo Zuliani and Christel Baier and Edmund Melson Clarke},
title = {Rare-event verification for stochastic hybrid systems},
booktitle = {Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC)},
month = jul,
year = {2012},
project = {B03}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1133