A three-valued model abstraction framework for PCTL* stochastic model checking
Crossref DOI link: https://doi.org/10.1007/s10515-022-00327-z
Published Online: 2022-03-02
Published Print: 2022-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Liu, Yang
Ma, Yan
Yang, Yongsheng
Funding for this research was provided by:
Singapore-UK Cyber Security of EPSRC (EP/N020170/1)
Text and Data Mining valid from 2022-03-02
Version of Record valid from 2022-03-02
Article History
Received: 30 July 2021
Accepted: 24 January 2022
First Online: 2 March 2022