QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring.

Ernest Bonnah Khaza Anuarul Hoque

Published in: MEMOCODE (2023)

Keyphrases

temporal logic
quality aware
model checking
modal logic
satisfiability problem
concurrent systems
computation tree logic
mazurkiewicz traces
verification method
linear temporal logic
bounded model checking
transition systems
temporally extended
model checker
temporal knowledge
temporally extended goals