Author of the publication

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference.

, , , and . CDC, page 3102-3109. IEEE, (2023)

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

Joint Probability Distribution of Prediction Errors of ARIMA., and . CoRR, (2018)Nondeterministic Streaming String Transducers., and . ICALP (2), volume 6756 of Lecture Notes in Computer Science, page 1-20. Springer, (2011)Shape Expressions for Specifying and Extracting Signal Features., , , , and . RV, volume 11757 of Lecture Notes in Computer Science, page 292-309. Springer, (2019)Simulation-guided lyapunov analysis for hybrid dynamical systems., , , and . HSCC, page 133-142. ACM, (2014)Structured Reward Shaping using Signal Temporal Logic specifications., and . IROS, page 3481-3486. IEEE, (2019)Learning Performance Graphs From Demonstrations via Task-Based Evaluations., , and . IEEE Robotics Autom. Lett., 8 (1): 336-343 (2023)Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)., , and . Dagstuhl Reports, 9 (2): 48-72 (2019)Specification-guided Software Fault Localization for Autonomous Mobile Systems., , , and . MEMOCODE, page 1-12. IEEE, (2020)A trajectory splicing approach to concretizing counterexamples for hybrid systems., , , and . CDC, page 3918-3925. IEEE, (2013)Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference., , , and . CDC, page 3102-3109. IEEE, (2023)