Browsing by Author "Yang, Yi"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Publication Generating Safe Autonomous Decision-Making in ROS
;Yang, Yi ;Holvoet, TomyangProceedings paper2022, 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), APR 16-18, 2019, p.184-192Publication Making model checking feasible for GOAL
;Yang, YiHolvoet, TomJournal article2024, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (92) 4, p.837-853