Login / Signup
Yosuke Yokoyama
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 2
Top Topics
Model Checker
Temporally Extended
Satisfiability Problem
Formal Specification Language
Top Venues
CoRR
SAC
</>
Publications
</>
Jesse Reimann
,
Nico Mansion
,
James Haydon
,
Benjamin Bray
,
Agnishom Chattopadhyay
,
Sota Sato
,
Masaki Waga
,
Étienne André
,
Ichiro Hasuo
,
Naoki Ueda
,
Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
SAC
(2024)
Jesse Reimann
,
Nico Mansion
,
James Haydon
,
Benjamin Bray
,
Agnishom Chattopadhyay
,
Sota Sato
,
Masaki Waga
,
Étienne André
,
Ichiro Hasuo
,
Naoki Ueda
,
Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
CoRR
(2024)
Yukimasa Nagai
,
Toshinori Hori
,
Yosuke Yokoyama
,
Naoki Shimizu
,
Akira Otsuka
,
Tetsuya Yokotani
Advanced wireless cooperation mechanisms for interference mitigation in the 2.4 GHz ISM band.
CCNC
(2012)