10 results on '"Yang, Junxing"'
Search Results
2. A Simplex Architecture for Hybrid Systems Using Barrier Certificates
3. Attacking the V: On the Resiliency of Adaptive-Horizon MPC
4. ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
5. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment
6. Compositional Branching-Time Measurements
7. Using Statistical Model Checking for Measuring Systems
8. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment.
9. Using Statistical Model Checking for Measuring Systems.
10. Compositional Branching-Time Measurements.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.