Search Results for author:
Found 7 papers, 3 papers with code
Conformal Predictive Programming for Chance Constrained Optimization
Motivated by the advances in conformal prediction (CP), we propose conformal predictive programming (CPP), an approach to solve chance constrained optimization (CCO) problems, i. e., optimization problems with nonlinear constraint functions affected by arbitrary random parameters.
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
We propose a predictive control synthesis framework that guarantees, with high probability, the satisfaction of signal temporal logic (STL) tasks that are defined over the system and uncontrollable stochastic agents.
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
To address these challenges, we assume to know an upper bound on the statistical distance (in terms of an f-divergence) between the distributions at deployment and design time, and we utilize techniques based on robust conformal prediction.
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) are widely used in automated verification, but there is a lack of interactive tools designed for educational purposes in this field.
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Smart cities operate on computational predictive frameworks that collect, aggregate, and utilize data from large-scale sensor networks.
A Survey of Forex and Stock Price Prediction Using Deep Learning
Deep learning application had proven to yields better accuracy and return in the field of financial prediction and forecasting.
Wavelet Denoised-ResNet CNN and LightGBM Method to Predict Forex Rate of Change
In this paper, we propose a Wavelet Denoised-ResNet with LightGBM model to predict the rate of change of Forex price after five time intervals to allow enough time to execute trades.
