Allen linear (interval) temporal logic - Translation to LTL and monitor synthesis

Grigore Roşu, Saddek Bensalem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Allen linear (interval) temporal logic - Translation to LTL and monitor synthesis'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science