Sign in

Process Symmetry in Probabilistic Transducers

By Shaull Almagor
Model checking is the process of deciding whether a system satisfies a given specification. Often, when the setting comprises multiple processes, the specifications are over sets of input and output signals that correspond to individual processes. Then, many of the properties one wishes to specify are symmetric with respect to... Show more
July 23, 2020
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Process Symmetry in Probabilistic Transducers
Click on play to start listening