13 citations · 29 across the 5 of their papers we have counts for
5 papers
Quantum Computer Benchmarking via Quantum Algorithms
Konstantinos Georgopoulos, Clive Emary, Paolo Zuliani
We present a framework that utilizes quantum algorithms, an architecture aware quantum noise model and an ideal simulator to benchmark quantum computers. The benchmark metrics high…
Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis
Bing Liu, Soonho Kong, Sicun Gao +2
Recent clinical studies suggest that the efficacy of hormone therapy for prostate cancer depends on the characteristics of individual patients. In this paper, we develop a computat…
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions
Bing Liu, Soonho Kong, Sicun Gao +2
A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (\eg, time series). In this paper we focus o…
Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters
Fedor Shmarov, Paolo Zuliani
We develop an algorithm for computing bounded reachability probability for hybrid systems, i.e., the probability that the system reaches an unsafe region within a finite number of…
SReach: A Bounded Model Checker for Stochastic Hybrid Systems
Qinsi Wang, Paolo Zuliani, Soonho Kong +2
In this paper we describe a new tool, SReach, which solves probabilistic bounded reachability problems for two classes of stochastic hybrid systems. The first one is (nonlinear) hy…