Paapa Kwesi Quansah

According to our database¹, Paapa Kwesi Quansah authored at least 3 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic.

[DOI]

CoRR, May, 2026

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic.

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2026

2023

Short-Term Load Forecasting Using A Particle-Swarm Optimized Multi-Head Attention-Augmented CNN-LSTM Network.

[DOI]

CoRR, 2023