Author of the publication

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems.

, , , and . ACC, page 37-44. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems., , , and . CoRR, (2018)Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints., , and . ACC, page 2942-2949. IEEE, (2019)Validation of cognitive models for collaborative hybrid systems with discrete human input., , , , , and . IROS, page 3339-3346. IEEE, (2016)Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles., , and . CoRR, (2018)ARCH-COMP19 Category Report: Stochastic Modelling., , , , , , , , , and 5 other author(s). ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 62-102. EasyChair, (2019)Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms., , and . HSCC, page 35-44. ACM, (2017)Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness., and . HSCC, page 1-10. ACM, (2018)Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods., , and . CoRR, (2017)Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance., , and . CoRR, (2016)Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms., , and . CoRR, (2016)