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

Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.

Pierre-Jean MeyerAntoine GirardEmmanuel Witrant
Published in: IEEE Trans. Autom. Control. (2018)
Keyphrases
  • high level
  • probabilistic model
  • real time
  • databases
  • complex systems
  • artificial intelligence
  • search engine
  • prior knowledge
  • low level
  • classification models
  • modeling framework