Central Limit Model Checking

DOI10.1145/3331452zbMath1433.68209arXiv1804.08744OpenAlexW2963762038WikidataQ127495554 ScholiaQ127495554MaRDI QIDQ4972157

Luca Bortolussi, Marta Kwiatkowska, Luca Laurenti, Luca Cardelli

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.08744

zbMATH Keywords

Gaussian processcontinuous-time Markov chainchemical reaction networksprobabilistic model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Applications of continuous-time Markov processes on discrete state spaces (60J28)

Related Items (1)

Unnamed Item

This page was built for publication: Central Limit Model Checking