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 cs.LOShow all

1 paper · 1 filter

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…