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

Formal Verification by Reverse Synthesis., , , and . SAFECOMP, volume 5219 of Lecture Notes in Computer Science, page 305-319. Springer, (2008)Quadtree Representation and Compression of Spatial Data., , and . Trans. Rough Sets, (2011)Supervisory Control for Delayed Detectability of Discrete Event Systems., and . CASE, page 480-485. IEEE, (2019)Spectral modeling using neural autoregressive distribution estimators for statistical parametric speech synthesis., , and . ICASSP, page 3824-3828. IEEE, (2014)VLSI design of low-cost and high-precision fixed-point reconfigurable FFT processors., , , , , and . IET Comput. Digit. Tech., 12 (3): 105-110 (2018)Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control., , , and . CoRR, (2023)LiteG2P: A Fast, Light and High Accuracy Model for Grapheme-to-Phoneme Conversion., , , , , , and . ICASSP, page 1-5. IEEE, (2023)On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems., , and . ACC, page 5413-5418. IEEE, (2020)Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications., , and . ASCC, page 1052-1059. IEEE, (2022)Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications., , , and . ICRA, page 12367-12373. IEEE, (2023)