| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS, CAS, IPSJ-AL [detail] | 2023-11-16 11:15 |
Okinawa | [Invited Talk]
Optimal Package Delivery Problem of Heterogeneous Multi-Robot Systems under Two-layered Linear Temporal Logic Constraints Kotaro Nagae (Osaka Univ.), Toshimitsu Ushio (Nanzan Univ.)  CAS2023-60 MSS2023-30 |
We address an optimal package delivery problem for heterogeneous multi-robot system that consists of robots with differe... [more] | CAS2023-60 MSS2023-30 pp.1-6 |
|
| MSS, CAS, IPSJ-AL [detail] | 2023-11-16 16:30 |
Okinawa | Deep Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications Keita Terashima, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) CAS2023-70 MSS2023-40 |
In multi-agent systems, the challenge is how a group of agents collaborate to achieve a common goal. In our previous wor... [more] | CAS2023-70 MSS2023-40 pp.54-58 |
|
| RCC, ISEC, IT, WBS | 2023-03-14 13:00 |
Yamaguchi | (Primary: On-site, Secondary: Online) |
On Reward Distribution in Reinforcement Learning of Multi-Agent Surveillance Systems with Temporal Logic Specifications Keita Terashima, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) IT2022-81 ISEC2022-60 WBS2022-78 RCC2022-78 |
In multi-agent systems, it is important to design a reward distribution method based on the contribution of agents for e... [more] | IT2022-81 ISEC2022-60 WBS2022-78 RCC2022-78 pp.86-90 |
| 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 |
| 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 |
| 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 |
|
| MSS, SS | 2017-01-26 14:30 |
Kyoto | Kyoto Institute of Technology | A Study on Data-based Modeling of Hot-Water Supply System and its Controler Synthesis Tsukasa Saito (Kyoto Univ.), Yoshihiko Susuki (Osaka Prefecture Univ.), Hikaru Hoshino, Takashi Hikihara (Kyoto Univ.) MSS2016-63 SS2016-42 |
This report performs modeling of a hot-water supply system based on data measured in a medical institution for dialysis ... [more] | MSS2016-63 SS2016-42 pp.35-40 |
| MSS, CAS, IPSJ-AL [detail] | 2016-11-24 13:25 |
Hyogo | Kobe Institute of Computing | Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS) Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2016-63 MSS2016-43 |
This paper proposes an On-the-fly Fluent Linear Temporal Logic (FLTL) model checker using state space generation based o... [more] | CAS2016-63 MSS2016-43 pp.31-35 |
| SS, MSS | 2016-01-25 15:45 |
Ishikawa | Shiinoki-Geihin-Kan | On-the-fly Model Checker for a Petri Net Verification Tool(HiPS) by using Replacement LTL Formula to Event-Based Automaton Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) MSS2015-46 SS2015-55 |
This paper proposes an On-the-fly Linear Temporal Logic (LTL) model checker using state space generation based on the Pe... [more] | MSS2015-46 SS2015-55 pp.63-68 |
| SS, MSS | 2016-01-26 09:40 |
Ishikawa | Shiinoki-Geihin-Kan | Optimal Control of Weighted Automata with Linear Temporal Logic Constraints Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio (Osaka Univ.) MSS2015-54 SS2015-63 |
We consider a weighted automaton, where each edge has a weight that represents the cost of the transition. Its event s... [more] |
MSS2015-54 SS2015-63 pp.109-112 |
| SS | 2015-03-09 09:55 |
Okinawa | OKINAWAKEN SEINENKAIKAN | Reactive System Synthesis with Tolerance for Unexpected Environmental Behavior Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki (Tokyo Tech) SS2014-56 |
On the synthesis of reactive system (RS), if we assume some behavior property on an environment, specifications must inc... [more] | SS2014-56 pp.7-12 |
| KBSE | 2013-05-31 14:45 |
Kanagawa | Keio University | Robustness Anlysis on Human-made Fault in Procedural Manuals Naoyuki Nagatou (PRESYSTEMS), Takuo Watanabe (Tokyo Inst. of Tech.) KBSE2013-11 |
We adapt a formal approach for an investigation into robustness analysis on human-made faults in procedural manuals.Dete... [more] | KBSE2013-11 pp.61-66 |
| IPSJ-SLDM, VLD | 2012-05-31 11:20 |
Fukuoka | Kitakyushu International Conference Center | Statistical Analysis and its Hardware Implementation on Simulation Results of Systems with Uncertain Inputs Kosuke Oshima, Shohei Ono, Takeshi Matsumoto, Masahiro Fujita (Univ. of Tokyo) VLD2012-10 |
Statistical model checking is a method to analyze systems where variables have some uncertainty. It can be used to check... [more] | VLD2012-10 pp.55-60 |
| SWIM | 2011-11-18 10:30 |
Tokyo | Tokai Univ.(Takanawa) | An Integrated Design and Verification Environment from Upstream Design to Model Checking Process
-- Automatic Conversion from UML Descriptions into the Process Definitions and Linear Temporal Logic for SPIN Model Checker -- Naoki Miyamoto, Katsumi Wasaki (Shinshu Univ) SWIM2011-19 |
To execute a SPIN model checker, the targeted model has to be described by the dedicated specification description langu... [more] | SWIM2011-19 pp.7-12 |
[Return to Top Page]