Login / Signup
Causality for General LTL-definable Properties.
Georgiana Caltais
Sophie Linnea Guetlein
Stefan 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