Login / Signup

Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#.

Axel HabermaierBenedikt EberhardingerHella SeebachJohannes LeupolzWolfgang Reif
Published in: SASO Workshops (2015)
Keyphrases
  • safety analysis
  • safety critical
  • intelligent systems
  • artificial intelligence
  • reinforcement learning
  • expert systems
  • nuclear power plant
  • symbolic model checking
  • knowledge acquisition
  • model checking