Finite-Horizon Bisimulation Minimisation for Probabilistic Systems

DOI10.1007/978-3-319-32582-8_10zbMath1354.68197OpenAlexW2461571952MaRDI QIDQ2814625

No author found.

Publication date: 22 June 2016

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/26143229/spin16fh.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Collaborative models for autonomous systems controller synthesis

Uses Software

• PRISM
• z3

This page was built for publication: Finite-Horizon Bisimulation Minimisation for Probabilistic Systems