Yi Yang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Foraging Theory

Temporally Extended Goals

Automated Verification

Top Venues

Ann. Math. Artif. Intell.

Publications

Yi Yang, Tom Holvoet
Making model checking feasible for GOAL. Ann. Math. Artif. Intell. 92 (4) (2024)
Yi Yang, Tom Holvoet
Model Checking of vGOAL. CoRR (2024)
Yi Yang, Tom Holvoet
Safe Autonomous Decision-Making with vGOAL. PAAMS (2023)
Yi Yang, Tom Holvoet
vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making. EMAS (2023)