Zobrazeno 1 - 10
of 40
pro vyhledávání: '"KONG, SOONHO"'
Autor:
Jackson, Daniel, Richmond, Valerie, Wang, Mike, Chow, Jeff, Guajardo, Uriel, Kong, Soonho, Campos, Sergio, Litt, Geoffrey, Arechiga, Nikos
Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-fold: to achieve a very high level of safety, and to provide a framewo
Externí odkaz:
http://arxiv.org/abs/2104.06178
We describe the concept of logical scaffolds, which can be used to improve the quality of software that relies on AI components. We explain how some of the existing ideas on runtime monitors for perception systems can be seen as a specific instance o
Externí odkaz:
http://arxiv.org/abs/1909.06965
Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain, quantified formulas have been much less investigated. We propose the
Externí odkaz:
http://arxiv.org/abs/1807.08137
In this paper, we present ReaS, a technique that combines numerical optimization with SAT solving to synthesize unknowns in a program that involves discrete and floating point computation. ReaS makes the program end-to-end differentiable by smoothing
Externí odkaz:
http://arxiv.org/abs/1802.04408
To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, an
Externí odkaz:
http://arxiv.org/abs/1505.04324
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 computational framework for identifying patient-specific androgen ablation the
Externí odkaz:
http://arxiv.org/abs/1410.7346
We show how to generate and validate logical proofs of unsatisfiability from delta-complete decision procedures that rely on error-prone numerical algorithms. Solving this problem is important for ensuring correctness of the decision procedures. At t
Externí odkaz:
http://arxiv.org/abs/1409.6414
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 on parameter synthesis for hybrid (continuous/discrete) models, as many
Externí odkaz:
http://arxiv.org/abs/1407.1524
We present the framework of delta-complete analysis for bounded reachability problems of general hybrid systems. We perform bounded reachability checking through solving delta-decision problems over the reals. The techniques take into account of robu
Externí odkaz:
http://arxiv.org/abs/1404.7171
We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using first-ord
Externí odkaz:
http://arxiv.org/abs/1404.7169