Login / Signup
A New Approach for Minimal Environment Construction for Modular Property Verification.
Saikat Dutta
Soumi Chattopadhyay
Ansuman Banerjee
Pallab 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