Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
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 …
Siwei Tan
,
Liqiang Lu
,
Congliang Lang
,
Mingshuai Chen
,
Jianwei Yin
PDF
Cite
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 …
Jintao Chen
,
Fan Wang
,
Shengye Pang
,
Mingshuai Chen
,
Meng Xi
,
Tiancheng Zhao
,
Jianwei Yin
PDF
Cite
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 …
Lutz Klinkenberg
,
Christian Blumenthal
,
Mingshuai Chen
,
Darion Haase
,
Joost-Pieter Katoen
PDF
Cite
Artifact Evaluated
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 …
Shenghua Feng
,
Mingshuai Chen
,
Han Su
,
Benjamin Lucien Kaminski
,
Joost-Pieter Katoen
,
Naijun Zhan
PDF
Cite
Poster
Slides
DOI
Encoding Inductive Invariants as Barrier Certificates
We present the
invariant barrier-certificate condition
that witnesses unbounded-time safety of differential dynamical systems. The …
Qiuye Wang
,
Mingshuai Chen
,
Bai Xue
,
Naijun Zhan
,
Joost-Pieter Katoen
PDF
Cite
Code
Slides
DOI
From Model to Implementation: A Network Algorithm Programming Language
Software-defined networking (SDN) is a revolutionary technology that facilitates network management and enables programmatically …
Jian Wang
,
Jie An
,
Mingshuai Chen
,
Naijun Zhan
,
Lulin Wang
,
Miaomiao Zhang
,
Ting Gan
PDF
Cite
Code
DOI
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 …
Mingshuai Chen
,
Martin Fränzle
,
Yangjia Li
,
Peter Nazier Mosaad
,
Naijun Zhan
PDF
Cite
Code
Slides
Video
DOI
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 …
Martin Fränzle
,
Mingshuai Chen
,
Paul Kröger
PDF
Cite
DOI
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 …
Ting Gan
,
Mingshuai Chen
,
Yangjia Li
,
Bican Xia
,
Naijun Zhan
PDF
Cite
Code
DOI
Cite
×