Login / Signup

Specification and Verification of Linear Dynamical Systems: Advances and Challenges.

Joël Ouaknine
Published in: FroCos (2013)
Keyphrases
  • formal verification
  • dynamical systems
  • linear dynamical systems
  • hidden markov models
  • model checking
  • spatio temporal
  • real valued