Pervasive Systems

Particular types of pervasive systems that we are interested in programming and formally verifying are:

• autonomous and dynamic sensor networks;
• safety-critical sensors, for example in home care scenarios; and
• the interaction of robots and autonomous vehicles with sensors.