PPaperPicks

Yoàv Montacute

2 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1

Frequent coauthors

Radu Florin Tulcan
×1
Rose Bohrer
×1
Kevin Zhou
×1
Yusuke Kawamoto
×1
Ichiro Hasuo
×1
David Fernández-Duque
×1

Papers

  1. Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
    FM 2026 ·
    Radu Florin Tulcan
    ,
    Rose Bohrer
    , Yoàv Montacute,
    Kevin Zhou
    ,
    Yusuke Kawamoto
    ,
    Ichiro Hasuo
  2. Dynamic Tangled Derivative Logic of Metric Spaces
    AAAI 2024 ·
    David Fernández-Duque
    , Yoàv Montacute