3 papers
cs.AI2026
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…
cs.LO2026
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…
cs.CV2025
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…