IEICE Technical Committee Submission System
Conference Schedule		 Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 2 of 2  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
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
10:50		 Online Online Online Pickup and Delivery Problem under Temporal Logic Constraints
koki kanashima, Toshimitu Ushio (Osaka Univ.) CAS2021-11 VLD2021-11 SIP2021-21 MSS2021-11		 A pickup and delivery problem is to find optimal schedule to deliver goods to specified places after picking up them. Mo... [more] CAS2021-11 VLD2021-11 SIP2021-21 MSS2021-11
pp.54-59
 Results 1 - 2 of 2  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan