A lot of today's data is generated incrementally over time by a large variety of producers. This data ranges from quantitative sensor observations produced by r

Vast amounts of data are continually being generated by a wide variety of data producers. This data ranges from quantitative sensor observations produced by rob

Modern societies are affected by various threats and hazards, including natural disasters, cyber-attacks, extreme weather events and inter-state conflicts. Mana

In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of

Model-based tools and methods are playing important roles in the design and analysis of cyber-physical systems before building and testing physical prototypes.