2

Fast-USYN: Fast Synthesis from Unitary Matrices to High-Quality Quantum Circuits
Current quantum programs are usually represented as quantum circuits, including various quantum gates. If the program contains gates …
PDF Cite
Fast-USYN: Fast Synthesis from Unitary Matrices to High-Quality Quantum Circuits
A Privacy Policy Text Compliance Reasoning Framework with Large Language Models for Healthcare Services
The advancement of AI-generated content (AIGC) drives the diversification of healthcare services, resulting in increased private …
PDF Cite
A Privacy Policy Text Compliance Reasoning Framework with Large Language Models for Healthcare Services
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
We present an exact Bayesian inference method for inferring posterior distributions encoded by probabilistic programs featuring …
PDF Cite Artifact Evaluated
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
Lower Bounds for Possibly Divergent Probabilistic Programs
We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to …
PDF Cite Poster Slides DOI
Lower Bounds for Possibly Divergent Probabilistic Programs
Encoding Inductive Invariants as Barrier Certificates
We present the invariant barrier-certificate condition that witnesses unbounded-time safety of differential dynamical systems. The …
PDF Cite Code Slides DOI
Encoding Inductive Invariants as Barrier Certificates
From Model to Implementation: A Network Algorithm Programming Language
Software-defined networking (SDN) is a revolutionary technology that facilitates network management and enables programmatically …
PDF Cite Code DOI
From Model to Implementation: A Network Algorithm Programming Language
Indecision and Delays are the Parents of Failure
The possible interactions between a controller and its environment can naturally be modelled as the arena of a two-player game, and …
PDF Cite Code Slides Video DOI
Indecision and Delays are the Parents of Failure
In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-State Automata
Hybrid automata are an elegant formal model seamlessly integrating differential equations representing continuous dynamics with …
PDF Cite DOI
In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-State Automata
Reachability Analysis for Solvable Dynamical Systems
The reachability problem is one of the most important issues in the verification of hybrid systems. But unfortunately the reachable …
PDF Cite Code DOI
Reachability Analysis for Solvable Dynamical Systems