Author:
Deshmukh Jyotirmoy V.,Majumdar Rupak,Prabhu Vinayak S.
Publisher
Springer International Publishing
Reference30 articles.
1. Abbas, H., Fainekos, G.E.: Formal property verification in a conformance testing framework. In: MEMOCODE (2014, To appear)
2. Abbas, H., Hoxha, B., Fainekos, G.E., Deshmukh, J.V., Kapinski, J., Ueda, K.: Conformance testing as falsification for cyber-physical systems. CoRR, abs/1401.5200 (2014)
3. Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. HSCC 13, 173–182 (2013)
4. Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–204 (1994)
5. Anderson, B.D.O.: Optimal Control: Linear Quadratic Methods Dover Books on Engineering. Dover Publications, Mineola (2007)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献