Author of the publication

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)Structured Reward Shaping using Signal Temporal Logic specifications., and . IROS, page 3481-3486. IEEE, (2019)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)Nondeterministic Streaming String Transducers., and . ICALP (2), volume 6756 of Lecture Notes in Computer Science, page 1-20. Springer, (2011)Simulation-guided lyapunov analysis for hybrid dynamical systems., , , and . HSCC, page 133-142. ACM, (2014)Shape Expressions for Specifying and Extracting Signal Features., , , , and . RV, volume 11757 of Lecture Notes in Computer Science, page 292-309. Springer, (2019)Stochastic Temporal Logic Abstractions: Challenges and Opportunities., , and . FORMATS, volume 11022 of Lecture Notes in Computer Science, page 3-16. Springer, (2018)Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference., , , and . CDC, page 3102-3109. IEEE, (2023)A trajectory splicing approach to concretizing counterexamples for hybrid systems., , , and . CDC, page 3918-3925. IEEE, (2013)