Author of the publication

Shape Expressions for Specifying and Extracting Signal Features.

, , , , and . RV, volume 11757 of Lecture Notes in Computer Science, page 292-309. Springer, (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

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)Structured Reward Shaping using Signal Temporal Logic specifications., and . IROS, page 3481-3486. IEEE, (2019)Simulation-guided lyapunov analysis for hybrid dynamical systems., , , and . HSCC, page 133-142. ACM, (2014)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)Special session on early life failures., , , and . VTS, page 1. IEEE Computer Society, (2017)Stochastic Temporal Logic Abstractions: Challenges and Opportunities., , and . FORMATS, volume 11022 of Lecture Notes in Computer Science, page 3-16. Springer, (2018)WiP abstract: Conformance testing as falsification for cyber-physical systems., , , , , and . ICCPS, page 211. IEEE Computer Society, (2014)