Author:
Etessami Kousha,Wojtczak Dominik,Yannakakis Mihalis
Subject
Computer Networks and Communications,Hardware and Architecture,Modeling and Simulation,Software
Reference39 articles.
1. Analysis of recursive state machines;Alur;ACM Transactions on Programming Languages and Systems,2005
2. Numerical methods for Structured Markov Chains;Bini,2005
3. D. Bini, B. Meini, S. Steffe, B. Van Houdt, Structured Markov chains solver: Algorithms/software tools, in: Proceedings of SMCtools’06, 2006
4. Solving nonlinear matrix equations arising in tree-like stochastic processes;Bini;Linear Algebra and its Applications,2003
5. T. Brázdil, V. Brožek, K. Etessami, A. Kučera, D. Wojtczak, One-counter Markov decision processes, in: Proceedings of 21st ACM-SIAM Symposium on Discrete Algorithms (SODA), 2010
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献