Stochastic Infinite State Systems
|
Stochastic Infinite State Systems |
[Abdulla et al., 2004] 
|
Parosh Aziz Abdulla and Juilen d'Orso and Ahmed Rezine (2004). Quantitative Analysis of Infinite Markov Chains. In: QAPL'04-2nd Workshop on Quantitative Aspects of Programming Languages. |
| [Abdulla et al., 2005]
|
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr (2005). Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. In: Proc. LICS '05-21th IEEE Int. Symp. on Logic in Computer Science. pp. 127--136. |
| [Abdulla et al., 2006]
|
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr and Sven Sandberg (2006). Eager Markov Chains. In: Proc. ATVA '06-4th Int. Symp. on Automated Technology for Verification and Analysis. Volume 4218 of Lecture Notes in Computer Science. pp. 24--38. Published by Springer Verlag. |
| [Abdulla et al., 2006]
|
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr and Sven Sandberg (2006). Eager Markov Chains. Technical Report Nr. 2006-009. Dept. of Information Technology, Uppsala University, Sweden. |
| [Abdulla et al., 2006]
|
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr and Sven Sandberg (2006). Limiting Behavior of Markov Chains with Eager Attractors. In: Pedro R. D'Argentio and Andrew Milner and Gerardo Rubino (eds.), Proc. QEST '06-3rd International Conference on the Quantitative Evaluation of SysTems. pp. 253--262. |
| [Abdulla et al., 2006]
|
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr and Sven Sandberg (2006). Limiting Behavior of Markov Chains with Eager Attractors. Technical Report Nr. 2006-033. Dep. of Information Technology, Uppsala University, Sweden. |
| [Abdulla et al., 2005]
|
Parosh Aziz Abdulla and Nathalie Bertrand and Alexander Rabinovich and Ph (2005). Verification of Probabilistic Systems with Faulty Communication. In: Information and Computation, 202(2):105--228. |