Login / Signup

Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫.

André de Matos PedroJorge Sousa PintoDavid PereiraLuís Miguel Pinho
Published in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
  • complex systems
  • formal methods
  • model checking
  • multi task learning
  • automated verification
  • data mining
  • face recognition
  • training data
  • expert systems
  • knowledge based systems
  • theoretical analysis
  • endpoints