Author:
Muramoto Eiichi,Ogata Kazuhiro,Shinoda Yoichi
Publisher
Springer International Publishing
Reference13 articles.
1. Newcomb, D.: You won’t need a driver’s license by 2040.
https://www.wired.com/2012/09/ieee-autonomous-2040/
(2012)
2. LNCS;M Clavel,2007
3. Ogata, K.: A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions. Front. Comput. Sci. 13, 51–72 (2019)
4. Lecture Notes in Computer Science;S Chaki,2004
5. d’Orey, P.M., Fernandes, R., Ferreira, M.: Empirical evaluation of a dynamic and distributed taxi-sharing system. In: 15th IEEE ITSC, pp. 140–146 (2012)