Publication:4608672
From MaRDI portal
DOI10.4230/LIPIcs.CONCUR.2016.20zbMath1392.68293arXiv1605.00186MaRDI QIDQ4608672
Thomas A. Henzinger, Tatjana Petrov, Jan Křetínský, Przemysław Daca
Publication date: 21 March 2018
Full work available at URL: https://arxiv.org/abs/1605.00186
verification; temporal logic; behavioural equivalence; statistical model checking; probabilistic systems
60J10: Markov chains (discrete-time Markov processes on discrete state spaces)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)