Trace relations and logical preservation for Markov automata (Q1631227)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Trace relations and logical preservation for Markov automata |
scientific article; zbMATH DE number 6989605
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trace relations and logical preservation for Markov automata |
scientific article; zbMATH DE number 6989605 |
Statements
Trace relations and logical preservation for Markov automata (English)
0 references
6 December 2018
0 references
Markov
0 references
equivalence
0 references
trace
0 references
bisimulation
0 references
temporal logic
0 references
0.93123335
0 references
0 references
0 references
0 references
0.8505468
0 references
0.8494042
0 references
0 references
0.84643716
0 references
