Author of the publication

Towards First-Order Symbolic Trajectory Evaluation.

, , and . ISMVL, page 53. IEEE Computer Society, (2007)

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

Densely Feature Fusion Based on Convolutional Neural Networks for Motor Imagery EEG Classification., , , and . IEEE Access, (2019)Real-Time Cooperative Vehicle Coordination at Unsignalized Road Intersections., , , , , , and . IEEE Trans. Intell. Transp. Syst., 24 (5): 5390-5405 (May 2023)Damage modeling and life extending control of a boiler-turbine system., , , and . ACC, page 2317-2322. IEEE, (2003)Cooperative Trajectory Planning at Unsignalized Intersections Using Deep Reinforcement Learning., , , , , , and . ICCC Workshops, page 227-232. IEEE, (2022)Recognition of EEG Signal Motor Imagery Intention Based on Deep Multi-View Feature Learning., , , , and . Sensors, 20 (12): 3496 (2020)Real-time Cooperative Vehicle Coordination at Unsignalized Road Intersections., , , , , , and . CoRR, (2022)Design and Implementation of the Integrated Platform of Housing and Land Investigation Based on Geopackage., , , , and . EBEE, page 325-331. ACM, (2021)Approach for Linear Time Synchronization Error Estimation and Calibration in a Distributed Space-Borne Early Warning Radar., , , , , , , and . IGARSS, page 3343-3346. IEEE, (2022)Age of Information Based Scheduling for UAV Aided Localization and Communication., , , , , , , and . IEEE Trans. Wirel. Commun., 23 (5): 4610-4626 (May 2024)An empirical study of software architecture resilience evaluation methods., , , , and . J. Syst. Softw., (August 2023)