Periodic Reporting for period 1 - AutoTADes (Automating Timed Automata Design)

Cyber-physical systems (CPSs) are everywhere, from autonomous vehicles to medical devices to smart buildings. Designing such CPSs that achieve complex tasks is a tedious and error prone process. During the design, high-level specifications describing desired functionalities...