Author:
Courcoubetis Costas,Yannakakis Mihalis
Reference19 articles.
1. S. Aggarwal, C. Courcoubetis and P. Wolper, "Adding Liveness Properties to Coupled Finite-State Machines", AT&T Bell Laboratories Technical Memorandum, to appear in ACM TOPLAS.
2. F. Beutler and K. Ross, "Optimal Policies for Controlled Markov Chains with a constraint", J. Math. Analysis and Appl., 112, pp. 236–252, 1985.
3. F. Beutler and K. Ross, "Time-Average Optimal Constrained Semi-Markov Decision Processes", Adv. Applied Prob., 18(2), pp. 341–359, 1986.
4. R. Cieslak, C. Desclaux, A. Fawaz and P. Varaiya, "Supervisory Control of Discrete-Event Processes with Partial Information", IEEE Trans. on Automatic Control, 33(3), pp. 249–260, March 1988.
5. C. Courcoubetis and M. Yannakakis, "Verifying Temporal Properties of Finite-State Probabilistic Programs", Proc. of 29th FOCS, 1988, pp. 338–345, Oct. 1988.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献