Repository logo Institutional repository
  • Communities & Collections
  • Browse
  • Site
Search repository
High contrast
  1. Home
  2. Browse by Author

Browsing by Author "Yang, Yi"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Results Per Page
  • Sort Options
  • Loading...
    Thumbnail Image
    Publication

    Generating Safe Autonomous Decision-Making in ROS

    Yang, Yi
    ;
    Holvoet, Tom
    ;
    yang
    Proceedings paper
    2022, 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), APR 16-18, 2019, p.184-192
  • Loading...
    Thumbnail Image
    Publication

    Making model checking feasible for GOAL

    Yang, Yi
    ;
    Holvoet, Tom
    Journal article
    2024, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (92) 4, p.837-853

Follow imec on

VimeoLinkedInFacebook

The repository

  • Contact us
  • Policy
  • About imec
Privacy statement | Cookie settings