Ernest Bonnah | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Khaza Anuarul Hoque
23 publications
Luan Viet Nguyen
4 publications

research

∙ 08/10/2023

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring

In various service-oriented applications such as distributed autonomous ...

0 Ernest Bonnah, et al. ∙

research

∙ 08/02/2023

Model Checking Time Window Temporal Logic for Hyperproperties

Hyperproperties extend trace properties to express properties of sets of...

0 Ernest Bonnah, et al. ∙