Login / Signup
Benjamin Bray
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 3
Top Topics
Model Checker
Temporally Extended
Satisfiability Problem
Formal Specification Language
Top Venues
DHd
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)
Peter McIsaac
,
Sugih Jamin
,
Ines Ibanez
,
Oskar Singer
,
Benjamin Bray
Die Geowissenschaftliche Analyse von großen Mengen historischer Texte: Die Visualisierung geographischer Verhältnisse in deutschen Familienzeitschriften.
DHd
(2016)