Posts from this topic will be added to your daily email digest and your homepage feed. AI tools can be used to ‘edit’ and ‘polish’ authors’ work, say the conference organizers, but text ‘produced ...
Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results