Login / Signup
Caspar Gevaerts
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Continuous Time Bayesian Networks
Random Fields
State Space
Stochastic Processes
Top Venues
CoRR
TACAS
</>
Publications
</>
Sadegh Esmaeil Zadeh Soudjani
,
Caspar Gevaerts
,
Alessandro Abate
: Formal Abstractions of Uncountable-STate STochastic Processes.
TACAS
(2015)
Sadegh Esmaeil Zadeh Soudjani
,
Caspar Gevaerts
,
Alessandro Abate
: Formal Abstractions of Uncountable-STate STochastic processes.
CoRR
(2014)