Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference33 articles.
1. What's decidable about weighted automata?;Almagor,2011
2. Reasoning about online algorithms with weighted automata;Aminof;ACM Trans. Algorithms,2010
3. Optimal control of Markov processes with incomplete state information;Astrom;J. Math. Anal. Appl.,1965
4. Principles of Model Checking;Baier,2008
5. Markov chains and unambiguous büchi automata;Baier,2016
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献