Art
J-GLOBAL ID：201902213671265753   Reference number：19S1379386

Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (4)：
Horita, Hiroki

About Horita, Hiroki

(Graduate School of Information Systems, University of Electro-Communications)

About Graduate School of Information Systems, University of Electro-Communications

, 
Hirayama, Hideaki

About Hirayama, Hideaki

(Graduate School of Information Systems, University of Electro-Communications)

About Graduate School of Information Systems, University of Electro-Communications

, 
Tahara, Yasuyuki

About Tahara, Yasuyuki

(Graduate School of Information Systems, University of Electro-Communications)

About Graduate School of Information Systems, University of Electro-Communications

, 
Ohsuga, Akihiko

About Ohsuga, Akihiko

(Graduate School of Information Systems, University of Electro-Communications)

About Graduate School of Information Systems, University of Electro-Communications


Material：
Proceedings of the ACM Symposium on Applied Computing

About Proceedings of the ACM Symposium on Applied Computing


Volume： 04-08-April-2016  Page： 1214-1216  Publication year： 2016 
JST Material Number： SCOPUS  ISBN： 9781450337397 
Country of issue： United States (USA)  Language： English (EN)
Terms in the title (1)：
Terms in the title
Keywords automatically extracted from the title.
GOAL

About GOAL


Return to Previous Page

TOP

BOTTOM