Login / Signup
Chen-Jun Tsai
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Hard Constraints
Multi Objective Evolutionary
Correlation Clustering
Top Venues
ACM Trans. Cyber Phys. Syst.
</>
Publications
</>
Yi-Ting Hsieh
,
Tzu-Tao Chang
,
Chen-Jun Tsai
,
Shih-Lun Wu
,
Ching-Yuan Bai
,
Kai-Chieh Chang
,
Chung-Wei Lin
,
Eunsuk Kang
,
Chao Huang
,
Qi Zhu
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints.
ACM Trans. Cyber Phys. Syst.
7 (3) (2023)