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

Structured Reward Shaping using Signal Temporal Logic specifications., and . IROS, page 3481-3486. IEEE, (2019)Joint Probability Distribution of Prediction Errors of ARIMA., and . CoRR, (2018)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)Nondeterministic Streaming String Transducers., and . ICALP (2), volume 6756 of Lecture Notes in Computer Science, page 1-20. Springer, (2011)Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)., , and . Dagstuhl Reports, 9 (2): 48-72 (2019)Learning Performance Graphs From Demonstrations via Task-Based Evaluations., , and . IEEE Robotics Autom. Lett., 8 (1): 336-343 (2023)Specification-guided Software Fault Localization for Autonomous Mobile Systems., , , and . MEMOCODE, page 1-12. IEEE, (2020)WiP abstract: Conformance testing as falsification for cyber-physical systems., , , , , and . ICCPS, page 211. IEEE Computer Society, (2014)Special session on early life failures., , , and . VTS, page 1. IEEE Computer Society, (2017)