E-LIB Suche - Ergebnisse für: Suenaga, Kohei

1

Goal-Aware RSS for Complex Scenarios via Program Logic:

, In: 2024 IEEE Intelligent Vehicles Symposium (IV),

Hasuo, Ichiro ; Eberhart, Clovis ; Haydon, James... - p. 3154-3154 , 2024

2

Control-data separation and logical condition propagation f..:

Hasuo, Ichiro ; Oyabu, Yuichiro ; Eberhart, Clovis...
Journal of Logical and Algebraic Methods in Programming. 136 (2024) - p. 100922 , 2024

Link: https://doi.org/10.1016/..

3

Sound and relatively complete belief Hoare logic for statis..:

Kawamoto, Yusuke ; Sato, Tetsuya ; Suenaga, Kohei
Artificial Intelligence. 326 (2024) - p. 104045 , 2024

Link: https://doi.org/10.1016/..

4

Learning Nonlinear Hybrid Automata from Input–Output Time-S..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Gurung, Amit ; Waga, Masaki ; Suenaga, Kohei - p. 33-52 , 2023

Link: https://doi.org/10.1007/..

5

Formalizing Statistical Causality via Modal Logic:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Kawamoto, Yusuke ; Sato, Tetsuya ; Suenaga, Kohei - p. 681-696 , 2023

Link: https://doi.org/10.1007/..

6

Probabilistic Black-Box Checking via Active MDP Learning:

Shijubo, Junya ; Waga, Masaki ; Suenaga, Kohei
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-26 , 2023

Link: https://doi.org/10.1145/..

7

Goal-Aware RSS for Complex Scenarios via Program Logic:

Hasuo, Ichiro ; Eberhart, Clovis ; Haydon, James...
IEEE Transactions on Intelligent Vehicles. 8 (2023) 4 - p. 3040-3072 , 2023

Link: https://doi.org/10.1109/..

8

BOREx: Bayesian-Optimization-Based Refinement of Saliency M..:

, In: Computer Vision – ACCV 2022; Lecture Notes in Computer Science,

Kikuchi, Atsushi ; Uchida, Kotaro ; Waga, Masaki. - p. 274-290 , 2023

Link: https://doi.org/10.1007/..

9

The Lattice-Theoretic Essence of Property Directed Reachabi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Kori, Mayuko ; Urabe, Natsuki ; Katsumata, Shin-ya.. - p. 235-256 , 2022

Link: https://doi.org/10.1007/..

10

Helmholtz: A Verifier for Tezos Smart Contracts Based on Re..:

Nishida, Yuki ; Saito, Hiromasa ; Chen, Ran...
New Generation Computing. 40 (2022) 2 - p. 507-540 , 2022

Link: https://doi.org/10.1007/..

11

Oblivious Online Monitoring for Safety LTL Specification vi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Banno, Ryotaro ; Matsuoka, Kotaro ; Matsumoto, Naoki... - p. 447-468 , 2022

Link: https://doi.org/10.1007/..

12

Efficient Black-Box Checking via Model Checking with Streng..:

, In: Runtime Verification; Lecture Notes in Computer Science,

Shijubo, Junya ; Waga, Masaki ; Suenaga, Kohei - p. 100-120 , 2021

Link: https://doi.org/10.1007/..

13

Helmholtz: A Verifier for Tezos Smart Contracts Based on Re..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Nishida, Yuki ; Saito, Hiromasa ; Chen, Ran... - p. 262-280 , 2021

Link: https://doi.org/10.1007/..

14

Visualizing Color-Wise Saliency of Black-Box Image Classifi..:

, In: Computer Vision – ACCV 2020; Lecture Notes in Computer Science,

Hatakeyama, Yuhki ; Sakuma, Hiroki ; Konishi, Yoshinori. - p. 189-205 , 2021

Link: https://doi.org/10.1007/..

15

ConSORT: Context- and Flow-Sensitive Ownership Refinement T..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Toman, John ; Siqi, Ren ; Suenaga, Kohei.. - p. 684-714 , 2020

Link: https://doi.org/10.1007/..