Login / Signup

Safe Neighborhood Computation for Hybrid System Verification.

Yi DengA. Agung Julius
Published in: HAS (2014)
Keyphrases
  • model checking
  • temporal logic
  • neighborhood structure
  • real world
  • machine learning
  • expert systems
  • artificial neural networks
  • control system
  • formal verification
  • cryptographic protocols
  • verification method