Author:
Anand Abhishek,Knepper Ross
Publisher
Springer International Publishing
Reference23 articles.
1. Alur, R.: Formal verification of hybrid systems. In: EMSOFT, pp. 273–278. IEEE (2011)
2. Lecture Notes in Computer Science;R Alur,1993
3. Bickford, M., Constable, R.L., Eaton, R., Guaspari, D., Rahli V.: Introduction to EventML (2012).
www.nuprl.org/software/eventml/IntroductionToEventML.pdf
4. Bishop, E., Bridges, D.: Constructive Analysis, p. 490. Springer Science and Business Media, New york (1985)
5. Dogar, M., Knepper, R.A., Spielberg, A., Choi, C., Christensen, H.I., Rus, D.: Towards coordinated precision assembly with robot teams. In: ISER (2014)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献