Scholar

Pei-Wei Chen

Google Scholar ID: Dag0G5AAAAAJ

University of California, Berkeley

formal methodsdecision proceduresdesign automation

Google Scholar↗

Citations & Impact

All-time

Citations

45

H-index

4

i10-index

2

Publications

8

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)