research
∙
06/02/2023
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
Formal methods are promising for modeling and analyzing system requireme...
share
research
∙
03/24/2022
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals
In goal-oriented requirement engineering, boundary conditions(BC) are us...
research
∙
06/13/2021
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning
Formally verifying Deep Reinforcement Learning (DRL) systems is a challe...
research
∙
06/13/2020
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction
The recently rapid advances of generative adversarial networks (GANs) in...
research
∙
01/27/2020
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles
Nowadays, full face synthesis and partial face manipulation by virtue of...
research
∙
11/07/2018
SAT-based Explicit LTLf Satisfiability Checking
We present here a SAT-based framework for LTLf (Linear Temporal Logic on...
research
∙
09/21/2017
A Symbolic Approach to Safety LTL Synthesis
Temporal synthesis is the automated design of a system that interacts wi...
research
∙
05/23/2017