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.AI2025
Hyperproperty-Constrained Secure Reinforcement Learning
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Hyperproperties for Time Window Temporal Logic (HyperTWTL) is a domain-specific formal specification language known for its effectiveness in compactly representing security, opacit…