Yoàv Montacute - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Sat 21 Feb 2026

Name:Yoàv Montacute

Country:Japan

Affiliation:National Institute of Informatics

Personal website: https://www.yoavmontacute.com

Contributions

2026

FM

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking

Show activities from other conferences

FM 2026-profile
View general profile