Search Results for author:
Found 5 papers, 1 papers with code
Symbolic LTLf Synthesis
LTLf synthesis is the process of finding a strategy that satisfies a linear temporal specification over finite traces.
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction
At this moment, GAN-based image generation methods are still imperfect, whose upsampling design has limitations in leaving some certain artifact patterns in the synthesized image.
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning
Formally verifying Deep Reinforcement Learning (DRL) systems is a challenging task due to the dynamic continuity of system behaviors and the black-box feature of embedded neural networks.
ASV Station Keeping under Wind Disturbances using Neural Network Simulation Error Minimization Model Predictive Control
This work proposes a Model Predictive Controller using Neural Network Simulation Error Minimization (NNSEM-MPC) to accurately predict the dynamics of the ASV under wind disturbances.
An Efficient Detection and Control System for Underwater Docking using Machine Learning and Realistic Simulation: A Comprehensive Approach
The obtained image is then processed using an underwater image formation model to simulate image attenuation over distance under different water types.
Generative Adversarial Network
Image-to-Image Translation
+1
