
-
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
In this paper, we present a provably correct controller synthesis approa...
read it
-
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Pandemics can bring a range of devastating consequences to public health...
read it
-
Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Multimodal image registration (MIR) is a fundamental procedure in many i...
read it
-
Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
The loss function of an unsupervised multimodal image registration frame...
read it
-
F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Multimodal deformable image registration is essential for many image-gui...
read it
-
Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Nowadays, autonomous taxis become a highly promising transportation mode...
read it
-
Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Deformable image registration between Computed Tomography (CT) images an...
read it
-
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications
We study the distributed synthesis of policies for multi-agent systems t...
read it
-
Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
We present a novel network pruning algorithm called Dynamic Sparse Train...
read it
-
Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
With the increasing availability of new image registration approaches, a...
read it
-
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
Machine teaching is an algorithmic framework for teaching a target hypot...
read it
-
Active Task-Inference-Guided Deep Inverse Reinforcement Learning
In inverse reinforcement learning (IRL), given a Markov decision process...
read it
-
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications
We study the synthesis of policies for multi-agent systems to implement ...
read it
-
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications
In this paper, we present a controller synthesis approach for wind turbi...
read it
-
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications
Privacy is an important concern in various multiagent systems in which d...
read it
-
Accurate and Compact Convolutional Neural Networks with Trained Binarization
Although convolutional neural networks (CNNs) are now widely used in var...
read it
-
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach
This paper develops a controller synthesis approach for a multi-agent sy...
read it
-
Joint Inference of Reward Machines and Policies for Reinforcement Learning
Incorporating high-level knowledge is an effective way to expedite reinf...
read it
-
Transfer of Temporal Logic Formulas in Reinforcement Learning
Transferring high-level knowledge from a source task to a target task is...
read it
-
Graph Temporal Logic Inference for Classification and Identification
Inferring spatial-temporal properties from data is important for many co...
read it
-
Information-Guided Temporal Logic Inference with Prior Knowledge
This paper investigates the problem of inferring knowledge from data so ...
read it
-
A Robust Background Initialization Algorithm with Superpixel Motion Detection
Scene background initialization allows the recovery of a clear image wit...
read it
-
Efficient Large-Scale Fleet Management via Multi-Agent Deep Reinforcement Learning
Large-scale online ride-sharing platforms have substantially transformed...
read it
-
Query-free Clothing Retrieval via Implicit Relevance Feedback
Image-based clothing retrieval is receiving increasing interest with the...
read it
-
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis
In this paper, we define a novel census signal temporal logic (CensusSTL...
read it
-
Part-Stacked CNN for Fine-Grained Visual Categorization
In the context of fine-grained visual categorization, the ability to int...
read it