Chao Wang

Safe Robot Navigation Among Moving and Steady Obstacles

Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Network and Parallel Computing: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Abstraction Refinement for Large Scale Model Checking

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I