Filtrer vos résultats
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
2 résultats
|
|
triés par
|
|
Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programsJournal of Mathematical Analysis and Applications, 2014, 410, pp.227-240. ⟨10.1016/j.jmaa.2013.07.076⟩
Article dans une revue
hal-00940804v1
|
||
|
Static Analysis of Programs with Imprecise Probabilistic InputsVSTTE, May 2013, Snowbird, Utah, United States. pp.22-47, ⟨10.1007/978-3-642-54108-7⟩
Communication dans un congrès
hal-00942126v1
|