research
∙
07/15/2023
Probabilistic Black-Box Checking via Active MDP Learning
We introduce a novel methodology for testing stochastic black-box system...
share
research
∙
01/10/2023
Learning nonlinear hybrid automata from input–output time-series data
Learning an automaton that approximates the behavior of a black-box syst...
research
∙
10/31/2022
BOREx: Bayesian-Optimization–Based Refinement of Saliency Map for Image- and Video-Classification Models
Explaining a classification result produced by an image- and video-class...
research
∙
07/27/2022
Dynamic Shielding for Reinforcement Learning in Black-Box Environments
It is challenging to use reinforcement learning (RL) in cyber-physical s...
research
∙
06/03/2022
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
In many Internet of Things (IoT) applications, data sensed by an IoT dev...
research
∙
03/24/2022
Exemplifying parametric timed specifications over signals with bounded behavior
Specifying properties can be challenging work. In this paper, we propose...
research
∙
09/10/2021
Efficient Black-Box Checking via Model Checking with Strengthened Specifications
Black-box checking (BBC) is a testing method for cyber-physical systems ...
research
∙
02/15/2021
Model-bounded monitoring of hybrid systems
Monitoring of hybrid systems attracts both scientific and practical atte...
research
∙
04/24/2020
Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking
For exhaustive formal verification, industrial-scale cyber-physical syst...
research
∙
04/11/2020
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata
The weight maximization problem (WMP) is the problem of finding the word...
research
∙
04/05/2019
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
We present a method to extract a weighted finite automaton (WFA) from a ...
research
∙
12/21/2018