Runtime Monitoring of Time Window Temporal Logic
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Robotics and Automation Letters"
DOI: 10.1109/lra.2022.3160592
Abstract: 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… read more here.
Keywords: time; time window; robotics; window temporal ... See more keywords