Local abstraction refinement for probabilistic timed programs

Draeger, K., Kwiatkowska, M., Parker, D. et al. (1 more author) (2014) Local abstraction refinement for probabilistic timed programs. Theoretical Computer Science, 538. pp. 37-53. ISSN 0304-3975



Copyright, Publisher and Additional Information: © 2013 Elsevier. Open Access funded by Engineering and Physical Sciences Research Council Under a Creative Commons license (https://creativecommons.org/licenses/by/3.0/).
Keywords: Probabilistic verification; Abstraction refinement
  • Published: 12 June 2014
  • Published (online): 1 August 2014
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 27 Sep 2017 13:18
Last Modified: 27 Sep 2017 13:18
Published Version: https://doi.org/10.1016/j.tcs.2013.07.013
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.tcs.2013.07.013
Related URLs:

Share / Export