Sign in

Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction.

Qiang WangSimon Bliudze
Published in: TGC (2015)
Keyphrases
  • small number
  • complex systems
  • expert systems
  • management system
  • data sets
  • machine learning
  • case study
  • high level
  • bayesian networks
  • multi agent
  • computer systems
  • petri net
  • asynchronous circuits