Information and Systems-Dependable Computing(Date:2022/10/25)

Non-cooperative Rational Synthesis Problem on Stochastic Games

So Koide(Nagoya U.),  Hiroyuki Seki(Nagoya U.),  

[Paper #]SS2022-23,DC2022-29
Active Learning for Deterministic Bottom-up Nominal Tree Automata

Rindo Nakanishi(Nagoya Univ.),  Yoshiaki Takata(KUT),  Hiroyuki Seki(Nagoya Univ.),  

[Paper #]SS2022-24,DC2022-30
Low power neural networks through memory voltage manipulation and reduction of mantissa

Yuya Tanabe(Chiba University),  Masato Kitakami(Chiba University),  

[Paper #]SS2022-22,DC2022-28
Relationship between the Defects in Learning Programs and the Model Distortion on the Convolutional Neural Networks

Takumi Tsuchiya(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  Shinpei Ogata(Shinshu Univ.),  Shin Nakajima(NII),  

[Paper #]SS2022-26,DC2022-32
Comparison of the Coverage Indicators of Evaluation Data for the Convolutional Neural Networks

Yuto Yokoyama(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  Shinpei Ogata(Shinshu Univ.),  Shin Nakazima(NII),  

[Paper #]SS2022-27,DC2022-33
A note on performance and sensitivity analysis of self-adaptive systems using parametric Markov decision processes

Junjun Zheng(Osaka Univ.),  Hiroyuki Nakagawa(Osaka Univ.),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Paper #]SS2022-21,DC2022-27

,  ,  ,  ,  ,  ,  ,  

[Paper #]SS2022-28,DC2022-34
[Invited Talk] Privacy as Ethical Quality Characteristics of AI

Shin Nakajima(NII),  

[Paper #]SS2022-25,DC2022-31