Kavan Fatehi
Kavan Fatehi
Affiliation: University of York
Pages in this Program
ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑