Sign in

LTL falsification in infinite-state systems.

Alessandro CimattiAlberto GriggioEnrico Magnago
Published in: Inf. Comput. (2022)
Keyphrases
  • complex systems
  • real time
  • computer systems
  • systems require
  • database
  • databases
  • neural network
  • real world
  • information retrieval
  • information technology
  • search space
  • distributed systems
  • building blocks