Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL.

Norihiro Kamide

Browse the full ICAART paper archive.