Yong Kiam Tan | DeepAI

AI Chat

Featured Co-authors

André Platzer
32 publications
Rick Siow Mong Goh
23 publications
Stefan Mitsch
15 publications
Brandon Bohrer
7 publications
Zhenzhou Wu
5 publications
Katherine Cordwell
4 publications
Andrew Sogokon
3 publications
Sunil Sivadas
1 publication
Ma Bin
1 publication
Katherine Kosaian
1 publication
James Gallicchio
1 publication

∙ 09/22/2022

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

We formalize a multivariate quantifier elimination (QE) algorithm in the...

0 Katherine Kosaian, et al. ∙

∙ 03/02/2022

Implicit Definitions with Differential Equations for KeYmaera X (System Description)

Definition packages in theorem provers provide users with means of defin...

0 James Gallicchio, et al. ∙

∙ 11/02/2021

Verifying Switched System Stability With Logic

Switched systems are known to exhibit subtle (in)stability behaviors req...

0 Yong Kiam Tan, et al. ∙

∙ 02/05/2021

A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm

We formalize the univariate fragment of Ben-Or, Kozen, and Reif's (BKR) ...

0 Katherine Cordwell, et al. ∙

∙ 01/15/2021

Switched Systems as Hybrid Programs

Real world systems of interest often feature interactions between discre...

0 Yong Kiam Tan, et al. ∙

∙ 10/25/2020

Deductive Stability Proofs for Ordinary Differential Equations

Stability is required for real world controlled systems as it ensures th...

0 Yong Kiam Tan, et al. ∙

∙ 05/19/2020

Pegasus: Sound Continuous Invariant Generation

Continuous invariants are an important component in deductive verificati...

0 Andrew Sogokon, et al. ∙

∙ 04/30/2020

An Axiomatic Approach to Existence and Liveness for Differential Equations

This article presents an axiomatic approach for deductive verification o...

0 Yong Kiam Tan, et al. ∙

∙ 05/31/2019

Differential Equation Invariance Axiomatization

This article proves the completeness of an axiomatization for differenti...

0 André Platzer, et al. ∙

∙ 04/16/2019

An Axiomatic Approach to Liveness for Differential Equations

This paper presents an approach for deductive liveness verification for ...

0 Yong Kiam Tan, et al. ∙

∙ 03/12/2019

Blackbox End-to-End Verification of Ground Robot Safety and Liveness

We formally prove end-to-end correctness of a ground robot implemented i...

0 Brandon Bohrer, et al. ∙

∙ 02/05/2018

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts

We prove the completeness of an axiomatization for differential equation...

0 André Platzer, et al. ∙

∙ 06/15/2016

Multi-Modal Hybrid Deep Neural Network for Speech Enhancement

Deep Neural Networks (DNN) have been successful in en- hancing noisy spe...

0 Zhenzhou Wu, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world