Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference55 articles.
1. A. Pnueli, The temporal logic of programs, in: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, 1977, pp. 46–57.
2. Verification and Control of Hybrid Systems;Tabuada,2009
3. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems;Abate;Automatica,2008
4. A game-based abstraction-refinement framework for Markov decision processes;Kattenbelt;Form. Methods Syst. Des.,2010
5. E. Hahn, G. Norman, D. Parker, B. Wachter, L. Zhang, Game-based abstraction and controller synthesis for probabilistic hybrid systems, in: Eighth International Conference on Quantitative Evaluation of SysTems, 2011, pp. 69–78.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献