Author:
Van Thao Nguyen,Geihs Kurt
Publisher
Springer International Publishing
Reference17 articles.
1. Cooperative dynamic formation of platoons for safe and energy-optimized goods transportation (2017). https://cordis.europa.eu/project/id/610990/en?format=pdf. Accessed 6 May 2020
2. Alur, R., Yannakakis, M.: Model checking of hierarchical state machines. ACM SIGSOFT Softw. Eng. Notes 23(6), 175–188 (1998)
3. Asada, M., et al.: Middle size robot league rules and regulations for 2012 (2010). https://msl.robocup.org/wp-content/uploads/2018/08/msl-rules-2011-12-29.pdf. Accessed 01 July 2020
4. Lecture Notes in Computer Science;G Behrmann,2004
5. Campbell, J., Tuncali, C.E., Liu, P., Pavlic, T.P., Ozguner, U., Fainekos, G.: Modeling concurrency and reconfiguration in vehicular systems: A $$\pi $$-calculus approach. In: 2016 IEEE International Conference on Automation Science and Engineering (CASE), pp. 523–530. IEEE (2016)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献