Trace relations and logical preservation for Markov automata

DOI10.1007/978-3-030-00151-3_10OpenAlexW2888000169MaRDI QIDQ1631227

Arpit Sharma

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_10

zbMATH Keywords

equivalencetracebisimulationtemporal logicMarkov

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism ⋮ Logical characterization of fluid equivalences

This page was built for publication: Trace relations and logical preservation for Markov automata