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

SAT-Based Synthesis Methods for Safety Specs.

Roderick BloemRobert KönighoferMartina Seidl
Published in: VMCAI (2014)
Keyphrases
  • preprocessing
  • computational cost
  • computationally expensive
  • artificial intelligence
  • image sequences
  • training set
  • domain specific
  • classification method
  • integer programming