Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach

Browse the full ATVA paper archive.