Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MW |
2023-06-22 13:35 |
Kanagawa |
Yugawara-machi Shou-Kou-Kai Bldg. (Primary: On-site, Secondary: Online) |
Development of millimeter wave signal source using Non-Liner Transmission Line Makoto Yoshida (CDEX), Kohei Fujiwara, Kouich Tokita, Hidehiko Yamaoka (TIRI), Toshiyuki Yakabe (MPL) MW2023-20 |
We have been working on the practical application of 28 GHz-band VNA based on six-port method, which is a kind of the ho... [more] |
MW2023-20 pp.1-6 |
CAS, SIP, VLD, MSS |
2022-06-16 10:00 |
Aomori |
Hachinohe Institute of Technology (Primary: On-site, Secondary: Online) |
Path Planning of Heterogeneous Multi-robot Systems Satisfying a Counting Temporal Logics Constraint Kotaro Nagae, Toshimitsu Ushio (Osaka Univ.) CAS2022-1 VLD2022-1 SIP2022-32 MSS2022-1 |
We propose a path planning method for heterogeneous multi-robot systems using counting temporal logic. The cLTL+ has eno... [more] |
CAS2022-1 VLD2022-1 SIP2022-32 MSS2022-1 pp.1-6 |
MSS, NLP |
2022-03-28 09:15 |
Online |
Online |
Shield Synthesis for Opacity-Enforcing Planning Koki Kanashima, Toshimitsu Ushio (Osaka Univ.) MSS2021-55 NLP2021-126 |
Opacity is one of the hyperproperties that can be expressed using hyperLTL. Consider a secret and an observation on a tr... [more] |
MSS2021-55 NLP2021-126 pp.1-6 |
SIP, CAS, VLD, MSS |
2021-07-06 11:40 |
Online |
Online |
Visitor Route Planning in An Amusement Park Using Counting Temporal Logic Kotaro Nagae, Toshimitsu Ushio (Osaka Univ.) CAS2021-13 VLD2021-13 SIP2021-23 MSS2021-13 |
In this paper, we propose a method for determining the route of visitors in an amusement park that avoids congestion usi... [more] |
CAS2021-13 VLD2021-13 SIP2021-23 MSS2021-13 pp.64-69 |
SS |
2021-03-03 10:25 |
Online |
Online |
A Subclass of LTL with the Freeze Quantifier Translatable into Register Automata Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-29 |
Register automaton (abbreviated as RA) is an extension of finite automaton by adding
registers storing data values. RA ... [more] |
SS2020-29 pp.7-12 |
DC, SS |
2020-10-19 13:25 |
Online |
Online |
LTL Model Checking for Register Pushdown Systems Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-6 DC2020-23 |
A pushdown system (PDS) is known as an abstract model of recursive programs.
For PDS, model checking methods have been ... [more] |
SS2020-6 DC2020-23 pp.7-12 |
CCS |
2019-11-15 09:30 |
Hyogo |
Kobe Univ. |
An application of reinforcement learning in anti-jamming mechanism of mobile robot path planning with co-safe temporal logic specifications Jian Mi, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) CCS2019-29 |
This paper provides a method for mobile robot path planning with syntactically co-safe Linear Temporal Logic (scLTL) spe... [more] |
CCS2019-29 pp.23-28 |
MSS, SS |
2019-01-15 13:05 |
Okinawa |
|
A Study on Control Specifications Using LTL[F] for Supervisory Control Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.) MSS2018-58 SS2018-29 |
LTL[$ mathcal{F} $] is a quantitative extension of linear temporal logic, whose evaluations are based on how well a spec... [more] |
MSS2018-58 SS2018-29 pp.25-28 |
HIP, ASJ-H |
2018-03-03 14:25 |
Okinawa |
IT Souzoukan, Naha City |
Study of Visual Cognition Estimation based on Gaze Movements and target Visual Cognition Difficultly Hideho Sakaguchi (NAIST/ATR), Akira Utsumi (ATR), Kenji Susami (ATR/Kindai Univ.), Tadahisa Kondo (Kogakuin Univ.), Masayuki Kanbara (NAIST/ATR), Norihiro Hagita (ATR/NAIST) HIP2017-96 |
Proper estimation of human visual awareness is significant to realize an efficient support for visual tasks such as vehi... [more] |
HIP2017-96 pp.17-20 |
SS |
2015-03-09 13:50 |
Okinawa |
OKINAWAKEN SEINENKAIKAN |
Removing Possibility of Ambiguous Message Ordering in Sequence Diagram Noa Kusunoki, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2014-62 |
This report proposes a method to detect and repair software faults in sequence diagrams which are used for software desi... [more] |
SS2014-62 pp.43-48 |
SWIM |
2009-11-27 15:15 |
Tokyo |
|
Inter-Model Consistency between UML Class and Sequence Models Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2009-16 |
UML class diagrams and sequence diagrams are widely used to model a system from a static or a dynamic aspect respectivel... [more] |
SWIM2009-16 pp.25-30 |
SWIM |
2008-11-21 11:00 |
Tokyo |
Tokyo International Forum |
Inter-Model Consistency between UML Use-case and Sequence Models Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2008-18 |
It seems difficult to validate sequence diagrams, since there are no appropriate points to descried the constraints in t... [more] |
SWIM2008-18 pp.13-18 |
SWIM |
2008-05-23 14:35 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
Model Verification for UML Sequence Diagrams Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2008-3 |
In this paper, we propose a verification process for UML sequence diagrams, using the SPIN model checker. The SPIN can n... [more] |
SWIM2008-3 pp.13-18 |