Login / Signup
Mitsuaki Tsuji
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Formal Specification
Linear Temporal Logic
Reactive Systems
Top Venues
ICST Workshops
DASC/PiCom/DataCom/CyberSciTech
</>
Publications
</>
Mitsuaki Tsuji
,
Toshinori Takai
,
Kazuki Kakimoto
,
Naoki Ishihama
,
Masafumi Katahira
,
Hajimu Iida
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking.
ICST Workshops
(2020)
Koji Hasebe
,
Mitsuaki Tsuji
,
Kazuhiko Kato
Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking.
DASC/PiCom/DataCom/CyberSciTech
(2017)