• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Extending Temporal Logics with Data Variable Quantifications.

Fu SongZhilin Wu
Published in: FSTTCS (2014)
Keyphrases
  • temporal logic
  • data sets
  • database
  • data structure
  • training data
  • model checking
  • lower bound
  • knowledge discovery
  • data collection
  • search algorithm
  • data sources
  • data processing
  • background knowledge