research
∙
08/07/2023
GraPhSyM: Graph Physical Synthesis Model
In this work, we introduce GraPhSyM, a Graph Attention Network (GATv2) m...
share
research
∙
06/23/2023
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
We study a class of reinforcement learning (RL) tasks where the objectiv...
research
∙
12/02/2022
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Learning linear temporal logic (LTL) formulas from examples labeled as p...
research
∙
09/21/2022
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Angluin's L* algorithm learns the minimal (complete) deterministic finit...
research
∙
09/06/2022
Learning Interpretable Temporal Properties from Positive Examples Only
We consider the problem of explaining the temporal behavior of black-box...
research
∙
06/14/2022
Specification sketching for Linear Temporal Logic
Virtually all verification and synthesis techniques assume that the form...
research
∙
05/14/2022
PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning
In this work, we present a reinforcement learning (RL) based approach to...
research
∙
01/18/2022
Robust Computation Tree Logic
It is widely accepted that every system should be robust in that "small"...
research
∙
10/13/2021
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic
Linear temporal logic (LTL) is a specification language for finite seque...
research
∙
09/06/2021
Guiding Global Placement With Reinforcement Learning
Recent advances in GPU accelerated global and detail placement have redu...
research
∙
04/30/2021
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
We address the problem of inferring descriptions of system behavior usin...
research
∙
10/29/2020
Link inference of noisy delay-coupled networks: Machine learning and opto-electronic experimental tests
We devise a machine learning technique to solve the general problem of i...
research
∙
09/22/2020
Property-Directed Verification of Recurrent Neural Networks
This paper presents a property-directed approach to verifying recurrent ...
research
∙
02/10/2020
Learning Interpretable Models in the Property Specification Language
We address the problem of learning human-interpretable descriptions of a...
research
∙
01/13/2020
Optimal Scheduling for Maximizing Information Freshness System Performance in Industrial Cyber-Physical Systems
Age of Information is a newly introduced metric, getting vivid attention...
research
∙
12/24/2019
Deadline-aware Scheduling for Maximizing Information Freshness in Industrial Cyber-Physical System
Age of Information is an interesting metric that captures the freshness ...
research
∙
12/05/2019