Periodic Reporting for period 4 - OSARES (Output-Sensitive Algorithms for Reactive Synthesis)

Distributed embedded systems have started to transform the role of computing technology in all sectors of our society. Applications include transport systems, building technology, energy management, health care, infrastructure, and environmental protection. These applications...