Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.
Proceedings of the Automated Technology for Verification and Analysis, 2023
Operation optimization of Household Intelligent Electrical Equipment Based on Time-of-Use Price.
Proceedings of the 2019 IEEE Canadian Conference of Electrical and Computer Engineering, 2019
TSRF: A Trust-Aware Secure Routing Framework in Wireless Sensor Networks.
Int. J. Distributed Sens. Networks, 2014
Analytical modeling of link duration for vehicular ad hoc networks in urban environment.
Proceedings of the Proceeding of the tenth ACM international workshop on Vehicular inter-networking, 2013