Junxing Yang
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An improved approximation method for the expected value and standard deviation of extreme order statistics of Gaussian samples Communications in Statistics. Simulation and Computation | 2026-09-24 | Paper |
| Attacking the V: on the resiliency of adaptive-horizon MPC Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
| Statistical model checking | 2022-02-16 | Paper |
| ARES: adaptive receding-horizon synthesis of optimal plans Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles Formal Methods in System Design | 2017-09-08 | Paper |
| Compositional branching-time measurements From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Research outcomes over time
This page was built for person: Junxing Yang
