Travelled to:1 × France
1 × United Kingdom
Collaborated with:A.Abate C.Gevaerts
Talks about:process (2) probabilist (1) distribut (1) approxim (1) abstract (1) uncount (1) tochast (1) probabl (1) precis (1) markov (1)
Person: Sadegh Esmaeil Zadeh Soudjani
DBLP: Soudjani:Sadegh_Esmaeil_Zadeh
Contributed to:
20152014Wrote 2 papers:
- TACAS-2015-SoudjaniGA #abstraction #probability #process
- FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
- TACAS-2014-SoudjaniA #approximate #markov #precise #probability #process
- Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.