Author of the publication

Computing bisimulation functions using SOS optimization and δ-decidability over the reals.

, , , and . HSCC, page 78-87. ACM, (2015)

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

Robustness of Neural Networks to Parameter Quantization., , and . From Reactive Systems to Cyber-Physical Systems, volume 11500 of Lecture Notes in Computer Science, page 146-161. Springer, (2019)Status of deep learning for EEG-based brain-computer interface applications., , , , and . Frontiers Comput. Neurosci., (2022)Modeling and Performance Evaluation of ANFIS Controller-Based Bidirectional Power Management Scheme in Plug-In Electric Vehicles Integrated With Electric Grid., , , , , , and . IEEE Access, (2021)Analysis and prediction of heart stroke from ejection fraction and serum creatinine using LSTM deep learning approach., , , , , and . CoRR, (2022)Cutting a Convex Polyhedron Out of a Sphere., , and . Graphs Comb., 27 (3): 307-319 (2011)Three-Port Converters for Energy Conversion of PV-BES Integrated Systems - A Review., , , , , , and . IEEE Access, (2023)Motivating front level employees in the services organisation: theoretical analysis and implications., , , and . Int. J. Bus. Process. Integr. Manag., 8 (3): 182-199 (2017)Cutting a Cornered Convex Polygon Out of a Circle., , and . J. Comput., 5 (1): 4-11 (2010)An automated monitoring and environmental control system for laboratory-scale cultivation of oyster mushrooms using the Internet of Agricultural Thing (IoAT)., , , and . ICCA, page 207-212. ACM, (2022)Lagrangian Reachtubes: The Next Generation., , , , , and . CDC, page 1556-1563. IEEE, (2020)