Markov decision processes and regular events
- 27 June 2005
- book chapter
- Published by Springer Nature
- p. 336-349
- https://doi.org/10.1007/bfb0032043
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- Verifying temporal properties of finite-state probabilistic programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Time-average optimal constrained semi-Markov decision processesAdvances in Applied Probability, 1986
- Optimal policies for controlled Markov chains with a constraintJournal of Mathematical Analysis and Applications, 1985
- Automatic verification of probabilistic concurrent finite state programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Reasoning about infinite computation pathsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966