1 citations · 1 across the 3 of their papers we have counts for
4 papers
NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
Paapa Kwesi Quansah, Ernest Bonnah
Effectively translating between natural language (NL) and formal logics like Linear Temporal Logic (LTL) requires expertise that limits formal verification's reach in safety-critic…
SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
Paapa Kwesi Quansah, Ernest Bonnah
Stochastic cyber-physical systems (CPS) permeate critical infrastructure, from autonomous vehicles to medical devices. Yet, tools for runtime verification of such systems capturing…
Near Real-Time Dust Aerosol Detection with 3D Convolutional Neural Networks on MODIS Data
Caleb Gates, Patrick Moorhead, Jayden Ferguson +4
Dust storms harm health and reduce visibility; quick detection from satellites is needed. We present a near real-time system that flags dust at the pixel level using multi-band ima…
Short-Term Load Forecasting Using A Particle-Swarm Optimized Multi-Head Attention-Augmented CNN-LSTM Network
Paapa Kwesi Quansah, Edwin Kwesi Ansah Tenkorang
Short-term load forecasting is of paramount importance in the efficient operation and planning of power systems, given its inherent non-linear and dynamic nature. Recent strides in…