Login / Signup

A New Approach for Minimal Environment Construction for Modular Property Verification.

Saikat DuttaSoumi ChattopadhyayAnsuman BanerjeePallab Dasgupta
Published in: ATS (2015)
Keyphrases
  • dynamic environments
  • model checking
  • virtual world
  • real time
  • databases
  • learning algorithm
  • mobile robot
  • environmental conditions
  • hidden markov models
  • virtual environment
  • integer points