Please feel free to contact me if you are interested in any of the following works.

Journal Publications

Conference Publications

Theses

Reviewer

  • IEEE Robotics and Automation Letters
  • Robotics and Autonomous Systems
  • IEEE Transactions on Wireless Communications
  • IEEE Transactions on Mobile Communications
  • IEEE Transactions on Computers
  • Journal of Cleaner Production
  • Foundations and Trends in Electronic Design Automation
  • IEEE Access
  • IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
  • IEEE International Conference on Automation Science and Engineering (CASE)
  • International Conference on Computer Safety, Reliability and Security (SafeComp)
  • NASA Formal Methods Symposium (NFM)