activity
20232026
most citedShort-Term Load Forecasting Using A Particle-Swarm Optimized Multi-Head Attention-Augmented CNN-LSTM Network

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

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…