Publisher
Open Publishing Association
Reference22 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theoretical computer science,1995
2. Towards the verification of safety-critical autonomous systems in dynamic environments;Aniculaesei;arXiv preprint arXiv:1612.04977,2016
3. Model-based performance prediction by statistical model checking an industrial case study of autonomous transport robots;Arai,2017
4. A tutorial on Uppaal;Behrmann,2004
5. Suboptimal trajectory generation for industrial robots using trapezoidal velocity profiles;Chettibi,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献