Crossmark

Automatic verification of concurrent stochastic systems

Published Online: 2021-01-22

Published Print: 2021-10

Authors

Kwiatkowska, Marta https://orcid.org/0000-0001-9022-7599
Norman, Gethin https://orcid.org/0000-0001-9326-4344
Parker, David https://orcid.org/0000-0003-4137-8862
Santos, Gabriel https://orcid.org/0000-0002-6570-9737
Funding

Funding for this research was provided by:

H2020 European Research Council (834115)

Engineering and Physical Sciences Research Council (EP/M019918/1)
License Information

Text and Data Mining valid from 2021-01-22

Version of Record valid from 2021-01-22
More Information

Article History

Received: 28 February 2020

Accepted: 26 November 2020

First Online: 22 January 2021

Document is current