Author:
Li Wenchao,Sadigh Dorsa,Sastry S. Shankar,Seshia Sanjit A.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Federal Aviation Administration. The interfaces between flight crews and modern flight systems (1995)
2. Alur, R., et al.: Counter-strategy guided refinement of gr(1) temporal logic specifications. In: The Conference on Formal Methods in Computer-Aided Design, pp. 26–33 (2013)
3. Anderson, S.J., et al.: An optimal-control-based framework for trajectory planning, threat assessment, and semi-autonomous control of passenger vehicles in hazard avoidance scenarios. International Journal of Vehicle Autonomous Systems 8(2), 190–216 (2010)
4. Lecture Notes in Computer Science;R. Bloem,2010
5. Lecture Notes in Computer Science;K. Chatterjee,2008
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献