Trace relations and logical preservation for continuous-time Markov decision processes

DOI10.1007/978-3-319-67729-3_12zbMath1444.68122OpenAlexW2755950393MaRDI QIDQ1675807

Arpit Sharma

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_12

zbMATH Keywords

bisimulationtemporal logicschedulertimed automatontrace equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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 (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 continuous-time Markov decision processes