Finding State Solutions to Temporal Logic Queries.

Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik

Browse the full IFM paper archive.