关注
Maximilian Prokop
Maximilian Prokop
Technische Universität München
在 in.tum.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
Guessing winning policies in LTL synthesis by semantic learning
J Křetínský, T Meggendorfer, M Prokop, S Rieder
International Conference on Computer Aided Verification, 390-414, 2023
62023
系统目前无法执行此操作，请稍后再试。