Login / Signup

A set-based approach to model checking of nonlinear systems (invited tutorial).

Maria Prandini
Published in: SYNASC (2018)
Keyphrases
  • model checking
  • nonlinear systems
  • temporal logic
  • formal verification
  • adaptive control
  • fuzzy model
  • genetic algorithm
  • verification method
  • automated verification
  • belief revision
  • fuzzy systems
  • temporal properties