Login / Signup

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