research
∙
06/28/2023
Deciding Predicate Logical Theories of Real-Valued Functions
The notion of a real-valued function is central to mathematics, computer...
share
research
∙
03/29/2023
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
For typical first-order logical theories, satisfying assignments have a ...
research
∙
09/23/2021
Computing Funnels Using Numerical Optimization Based Falsifiers
In this paper, we present an algorithm that computes funnels along traje...
research
∙
01/01/2021