research
∙
03/27/2023
A Generalized Hybrid Hoare Logic
Deductive verification of hybrid systems (HSs) increasingly attracts mor...
share
research
∙
02/13/2023
Lower Bounds for Possibly Divergent Probabilistic Programs
We present a new proof rule for verifying lower bounds on quantities of ...
research
∙
09/20/2022
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
A barrier certificate often serves as an inductive invariant that isolat...
research
∙
06/01/2022
Defensive Design of Saturating Counters Based on Differential Privacy
The saturating counter is the basic module of the dynamic branch predict...
research
∙
05/29/2021
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
A barrier certificate often serves as an inductive invariant that isolat...
research
∙
05/28/2019
NIL: Learning Nonlinear Interpolants
Nonlinear interpolants have been shown useful for the verification of pr...
research
∙
11/28/2018
Robust Invariant Sets Computation for Switched Discrete-Time Polynomial Systems
In this paper we systematically study the (maximal) robust invariant set...
research
∙
09/15/2018
Parameter Synthesis Problems for one parametric clock Timed Automata
In this paper, we study the parameter synthesis problem for a class of p...
research
∙
09/19/2017
Synthesizing SystemC Code from Delay Hybrid CSP
Delay is omnipresent in modern control systems, which can prompt oscilla...
research
∙
10/18/2015