Login / Signup
Nico Mansion
ORCID
Publication Activity (10 Years)
Years Active: 2024-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)