Zobrazeno 1 - 10
of 44
pro vyhledávání: '"KOHEI SUENAGA"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 174, Iss Proc. HAS 2014, Pp 22-39 (2015)
Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturbance or noise), find an input sequence that steers the system to the d
Externí odkaz:
https://doaj.org/article/62f8c7b6564e4954b476bb20fa178e89
Publikováno v:
Logical Methods in Computer Science, Vol Volume 2, Issue 3 (2006)
We propose a type-based resource usage analysis for the π-calculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a vali
Externí odkaz:
https://doaj.org/article/f033de9ddf3f483cb97310ed6ab3a522
Publikováno v:
ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-26, 26p
Publikováno v:
Computer Vision – ACCV 2022 ISBN: 9783031262920
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::430570de3e772869b07e1d915b43c28e
https://doi.org/10.1007/978-3-031-26293-7_17
https://doi.org/10.1007/978-3-031-26293-7_17
Autor:
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement -- in addition to collision avoidance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bbd3ba640a2335329f20aa558387c9a
http://arxiv.org/abs/2207.02387
http://arxiv.org/abs/2207.02387
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
We present LT-PDR, a lattice-theoretic generalization of Bradley’s property directed reachability analysis (PDR) algorithm. LT-PDR identifies the essence of PDR to be an ingenious combination of verification and refutation attempts based on the Kna
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::728a65d91d7cc325b1baf76da2a66398
https://doi.org/10.1007/978-3-031-13185-1_12
https://doi.org/10.1007/978-3-031-13185-1_12
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
In many Internet of Things (IoT) applications, data sensed by an IoT device are continuously sent to the server and monitored against a specification. Since the data often contain sensitive information, and the monitored specification is usually prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::857bf3e0b3235d769c70047dc94c9dd8
https://doi.org/10.1007/978-3-031-13185-1_22
https://doi.org/10.1007/978-3-031-13185-1_22
Publikováno v:
KR
We propose a new approach to formally describing the requirement for statistical inference and checking whether the statistical method is appropriately used in a program. Specifically, we define belief Hoare logic (BHL) for formalizing and reasoning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8a6d8c99f93069e1ddb435ceb2e1e7a
https://doi.org/10.24963/kr.2021/39
https://doi.org/10.24963/kr.2021/39
Publikováno v:
Computer Vision – ACCV 2020 ISBN: 9783030695347
ACCV (3)
ACCV (3)
Image classification based on machine learning is being commonly used. However, a classification result given by an advanced method, including deep learning, is often hard to interpret. This problem of interpretability is one of the major obstacles i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f70675748c041f42e0d7f189127ad590
https://doi.org/10.1007/978-3-030-69535-4_12
https://doi.org/10.1007/978-3-030-69535-4_12
Autor:
Atsushi Igarashi, Ran Chen, Akira Kawata, Kohei Suenaga, Jun Furuse, Yuki Nishida, Hiromasa Saito
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems
A smart contract is a program executed on a blockchain, based on which many cryptocurrencies are implemented, and is being used for automating transactions. Due to the large amount of money that smart contracts deal with, there is a surging demand fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00c43e6fe9be0a80b6969219fc7f7021