• 1266 Citations
20032020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2019

Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems

Zheng, B., Liang, H., Wang, Z. & Zhu, Q., 2019, Safe, Autonomous and Intelligent Vehicles. Yu, H., Li, X., Murray, R. M., Ramesh, S. & Tomlin, C. J. (eds.). Springer International Publishing, p. 163-186 24 p. (Unmanned System Technologies).

Research output: Chapter in Book/Report/Conference proceedingChapter

2011

SAT sweeping with local observability don't-cares

Zhu, Q., Kitchen, N. B., Kuehlmann, A. & Sangiovanni-Vincentelli, A., Dec 1 2011, Advanced Techniques in Logic Synthesis, Optimizations and Applications. Springer New York, p. 129-148 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter