Tsutomu Kobayashi | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Krzysztof Czarnecki
48 publications
Ichiro Hasuo
35 publications
Kohei Suenaga
19 publications
Shin-ya Katsumata
19 publications
Rick Salay
16 publications
Clovis Eberhart
11 publications
Jérémy Dubut
11 publications
Fuyuki Ishikawa
8 publications
Stefan Klikovits
6 publications
Akihisa Yamada
6 publications
James Haydon
3 publications

research

∙ 07/06/2022

Goal-Aware RSS for Complex Scenarios via Program Logic

We introduce a goal-aware extension of responsibility-sensitive safety (...

0 Ichiro Hasuo, et al. ∙

research

∙ 08/17/2021

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty

Formal reasoning on the safety of controller systems interacting with pl...

0 Tsutomu Kobayashi, et al. ∙

research

∙ 07/22/2021

Architecture-Guided Test Resource Allocation Via Logic

We introduce a new logic named Quantitative Confidence Logic (QCL) that ...

0 Clovis Eberhart, et al. ∙

Success!

An error occurred