Torben Amtoft | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Anindya Banerjee
12 publications

research

∙ 11/07/2017

A Semantics for Probabilistic Control-Flow Graphs

This article develops a novel operational semantics for probabilistic co...

0 Torben Amtoft, et al. ∙

research

∙ 11/07/2017

A Theory of Slicing for Probabilistic Control-Flow Graphs

We present a theory for slicing probabilistic imperative programs -- con...

0 Torben Amtoft, et al. ∙