Chih-Wei Chien

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 2

Top Topics

Provably Correct

Human Agent Interaction

Autonomous Mobile Robots

Formal Verification

Top Venues

Publications

Chih-Wei Chien, Chi-Yeh Chen
Generalize Synchronization Mechanism: Specification, Properties, Limits. CoRR (2023)
Tzuu-Hseng S. Li, Ping-Huan Kuo, Ya-Fang Ho, Chin-Yin Liu, Ting-Chieh Yu, Yan-Ting Ye, Chien-Yu Chang, Guan-Yu Chen, Chih-Wei Chien, Wei-Chung Chen, Li-Fan Wu, Nien-Chu Fang
Robots That Think Fast and Slow: An Example of Throwing the Ball Into the Basket. IEEE Access 4 (2016)