Probabilistic Logical Characterization

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang. Probabilistic Logical Characterization. Inf. Comput., 209(2):154-172, 2011. [doi]

Authors

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Augusto Parma

This author has not been identified. Look up 'Augusto Parma' in Google

Roberto Segala

This author has not been identified. Look up 'Roberto Segala' in Google

Björn Wachter

This author has not been identified. Look up 'Björn Wachter' in Google

Lijun Zhang

This author has not been identified. It may be one of the following persons: Look up 'Lijun Zhang' in Google