Login / Signup

Causality for General LTL-definable Properties.

Georgiana CaltaisSophie Linnea GuetleinStefan Leue
Published in: CREST@ETAPS (2018)
Keyphrases
  • special case
  • model checking
  • temporal logic
  • wide class
  • information retrieval
  • data model
  • structural properties
  • desirable properties
  • linear temporal logic