PSI: Exact symbolic inference for probabilistic programs - Research Collection

Metadata only

Author

Misailovic, Sasa

Date

2016

Type

Conference Paper

Citations

Cited 58 times in Web of Science

Cited 59 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/978-3-319-41528-4_4

Editor

Chaudhuri, Swarat

Book title

Computer Aided Verification

Journal / series

Lecture Notes in Computer Science

Volume

9779

Pages / Article No.

62 - 83

Publisher

Springer

Event

28th International Conference on Computer Aided Verification (CAV 2016), Toronto, ON, Canada, July 17–23, 2016

Organisational unit

03948 - Vechev, Martin / Vechev, Martin

More

Show all metadata

Citations

Cited 58 times in Web of Science

Cited 59 times in Scopus

ETH Bibliography

yes

Altmetrics