Pei-Wei Chen

According to our database, Pei-Wei Chen authored at least 8 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments.

Victoria Marie Tuck, Hardik Parwana, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia

CoRR, April, 2025

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.

Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia

CoRR, March, 2025

2024

SMT-Based Dynamic Multi-Robot Task Allocation.

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

SMT-D: New Strategies for Portfolio-Based SMT Solving.

Clark W. Barrett, Pei-Wei Chen, Byron Cook, Bruno Dutertre, Robert B. Jones, Nham Le, Andrew Reynolds, Kunal Sheth, Christopher Stephens, Michael W. Whalen

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

Updating Top-k Dominate Individuals with Incomplete Data Addition.

Jimmy Ming-Tai Wu, Ke Wang, Huizhen Yan, Chao-Chun Chen, Pei-Wei Chen, Jerry Chun-Wei Lin

Proceedings of the IEEE International Symposium on Information Theory, 2023

2021

A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving.

Pei-Wei Chen, Yu-Ching Huang, Jie-Hong R. Jiang

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Circuit Learning for Logic Regression on High Dimensional Boolean Space.

Pei-Wei Chen, Yu-Ching Huang, Cheng-Lin Lee, Jie-Hong Roland Jiang

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2009

A 0.13 µm CMOS Quad-Band GSM/GPRS/EDGE RF Transceiver Using a Low-Noise Fractional-N Frequency Synthesizer and Direct-Conversion Architecture.

Pei-Wei Chen, Tser-Yu Lin, Ling-Wei Ke, Rickey Yu, Ming-Da Tsai, Stanley Yeh, Yi-Bin Lee, Bosen Tzeng, Yen-Horng Chen, Sheng-Jui Huang, Yu-Hsin Lin, Guang-Kaai Dehng

IEEE J. Solid State Circuits, 2009