1 Hit in 2.0 sec

Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression [chapter]

Alessandra Di Pierro, Herbert Wiklicky
2015 Lecture Notes in Computer Science  
We also discuss the relationship between Probabilistic Abstract Interpretation (PAI) and statistical or linear regression analysis.  ...  Operator Semantics (LOS) as well as probabilistic versions of Maximal Trace Semantics (MTS).  ...  We have already shown in [5] that classical Abstract Interpretations can be recovered (as the support of a PAI) from a Probabilistic Abstract Interpretation.  ... 
doi:10.1007/978-3-319-27810-0_6 fatcat:ddnngtss2zfn3mmrvz4xakxfsa