We introduce a novel methodology for testing stochastic black-box system...
Learning an automaton that approximates the behavior of a black-box syst...
Explaining a classification result produced by an image- and
video-class...
We propose a formal language for describing and explaining statistical
c...
We propose a new approach to formally describing the requirement for
sta...
We introduce a goal-aware extension of responsibility-sensitive safety (...
In many Internet of Things (IoT) applications, data sensed by an IoT dev...
We present LT-PDR, a lattice-theoretic generalization of Bradley's prope...
Black-box checking (BBC) is a testing method for cyber-physical systems
...
A smart contract is a program executed on a blockchain, based on which m...
Loop-invariant synthesis is the basis of every program verification
proc...
A Merkle tree is a data structure for representing a key-value store as ...
We introduce a novel sampling algorithm for Bayesian inference on impera...
Image classification based on machine learning is being commonly used.
H...
We present ConSORT, a type system for safety verification in the presenc...
Generalized property-directed reachability (GPDR) belongs to the family ...
This work explores the application of deep learning, a machine learning
...
Inspired by the recent evolution of deep neural networks (DNNs) in machi...
The template-based method is one of the most successful approaches to
al...