Peixin Wang

Identifiers

No identifiers captured yet.

Papers (3)

1. Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems eess.SY · 2026 · author #2
2. Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems eess.SY · 2025 · author #4
3. Cost Analysis of Nondeterministic Probabilistic Programs cs.PL · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Bai Xue 2 shared papers
• Amir Kafshdar Goharshady 1 shared papers
• C.-H. Luke Ong 1 shared papers
• Dominik Wagner 1 shared papers
• Hongfei Fu 1 shared papers
• Krishnendu Chatterjee 1 shared papers
• Luke Ong 1 shared papers
• Wenjun Shi 1 shared papers
• Xudong Qin 1 shared papers