Model checking via fixed points and no-go theorem for product construction | Department of Mathematics Kyoto University

Model checking via fixed points and no-go theorem for product construction

Date

2025/04/30 Wed 16:45 - 17:45

Room

RIMS110号室

Speaker

Mayuko Kori

Affiliation

Kyoto University

Abstract

Japanese only

16:15- tea