Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
Inductive Inference: Theory and Methods