Showing cs.AIShow 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.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…