Login / Signup

A delta-sampling verification theorem for discrete-time, possibly discontinuous systems.

Ruxandra BobitiMircea Lazar
Published in: HSCC (2015)
Keyphrases
  • distributed systems
  • management system
  • intelligent systems
  • complex systems
  • model checking
  • database
  • artificial intelligence
  • website
  • reinforcement learning
  • automated verification