Name Card

Full name Familienname, Vorname
Yang, Junxing
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu Statistical model checkingBuchbeitrag Book Contribution2019
2Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Yang, Junxing ; Grosu, Radu Resilient Control and Safety for Cyber-Physical SystemsKonferenzbeitrag Inproceedings2018
3Mehmood, Usama ; Paoletti, Nicola ; Phan, Dung ; Grosu, Radu ; Lin, Shan ; Stoller, Scott D. ; Tiwari, Ashish ; Yang, Junxing ; Smolka, Scott A. Declarative vs rule-based control for flocking dynamicsKonferenzbeitrag Inproceedings 2018
4Lukina, Anna ; Esterle, Lukas ; Hirsch, Christian ; Bartocci, Ezio ; Yang, Junxing ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu ARES: Adaptive Receding-Horizon Synthesis of Optimal PlansKonferenzbeitrag Inproceedings 2017
5Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Lukina, Anna ; Yang, Junxing ; Grosu, Radu Attacking the V: On the Resiliency of Adaptive-Horizon MPCKonferenzbeitrag Inproceedings 2017
6Phan, Dung ; Yang, Junxing ; Clark, Matthew ; Grosu, Radu ; Schierman, John ; Smolka, Scott ; Stoller, Scott A Component-Based Simplex Architecture for High-Assurance Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2017
7Phan, Dung ; Yang, Junxing ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving ObstaclesArtikel Article 2017
8Phan, Dung ; Yang, Junxing ; Ratasich, Denise ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the EnvironmentKonferenzbeitrag Inproceedings 2015
9Grosu, Radu ; Peled, Doron ; Ramakrishnan, C.R. ; Smolka, Scott A. ; Stoller, Scott D. ; Yang, Junxing Using Statistical Model Checking for Measuring SystemsKonferenzbeitrag Inproceedings2014