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

Computing descent direction of MTL robustness for non-linear systems., and . ACC, page 4405-4410. IEEE, (2013)Suppression of Mosquito Noise by Recursive Epsilon-Filters., and . ICASSP (1), page 773-776. IEEE, (2007)Linear Hybrid System Falsification Through Descent, and . CoRR, (2011)Probabilistic Temporal Logic Falsification of Cyber-Physical Systems., , , , and . ACM Trans. Embedded Comput. Syst., 12 (2s): 95:1-95:30 (2013)Towards composition of conformant systems., and . CoRR, (2015)Robust model predictive control for non-linear systems with input and state constraints via feedback linearization., , and . CDC, page 5694-5699. IEEE, (2016)High-level modeling for computer-aided clinical trials of medical devices., , , , , and . HLDVT, page 85-92. IEEE, (2016)Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.. Arizona State University, Tempe, USA, (2015)base-search.net (ftarizonastateun:item:29861).Embedded software for robotics: challenges and future directions: special session., , , , , , , and . EMSOFT, page 10. IEEE, (2018)Hardware Optimizations for Anytime Perception and Control., , , , , , and . RTSS, page 380. IEEE Computer Society, (2015)