Khaza Anuarul Hoque

2 accepted papers

2023

Motion Planning Using Hyperproperties for Time Window Temporal Logic

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

RA-L 2023

Hyperproperties are increasingly popular in verifying security policies and synthesis of control for dynamic systems. Hyperproperties generalize trace properties to enable reasoning about multiple computation traces that traditional trace properties cannot. Recent works show the effectiveness and pr

Cited by 8 Source ↗Scholar ↗

2022

Runtime Monitoring of Time Window Temporal Logic

Ernest Bonnah, Khaza Anuarul Hoque

RA-L 2022

Temporal logic is becoming increasingly popular for its application in the analysis and control of dynamic systems. Time window temporal logic (TWTL) is a rich expressive language for specifying time-bounded serial tasks in a compact manner that is common in many control applications, such as roboti

Cited by 14 Source ↗Scholar ↗