Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and ...
A machine learning conference debating the use of machine learning? While that might seem so meta, in its call for paper submissions on Monday, the International Conference on Machine Learning did, ...