Scholar
Pei-Wei Chen
Google Scholar ID: Dag0G5AAAAAJ
University of California, Berkeley
formal methods
decision procedures
design automation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
45
H-index
4
i10-index
2
Publications
8
Co-authors
0
Publications
2 items
MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
2025
Cited
0
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
2025
Cited
0
