To realize reliable quantum software, techniques to automatically ensure...
Previous machine learning (ML) system development research suggests that...
Cyber-physical systems (CPSs) are part of most critical infrastructures ...
Patterns are encapsulations of problems and solutions under specific
con...